The Higher-Order, Call-by-Value Applied Pi-Calculus
No abstract available.
Related papers
- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi ESOP 2014
- Positive supercompilation for a higher order call-by-value language POPL 2009
- Environmental bisimulations for probabilistic higher-order languages POPL 2016
- Environmental Bisimulations for Probabilistic Higher-order Languages TOPLAS 2019
- Environmental bisimulations for higher-order languages TOPLAS 2011
- Stable relations and abstract interpretation of higher-order programs ICFP 2020
- Chaperone contracts for higher-order sessions ICFP 2017
- On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem ESOP 2020