Quantitative Logics for Equivalence of Effectful Programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2019
Source ID
10.1016/j.entcs.2019.09.015

Entities

People

  • Niels Voorneveld

Organizations

  • Air Force Office of Scientific Research
  • Marie SkÅ‚odowska-Curie Actions