Call-by-Value in a Basic Logic for Interaction
Abstract elided by the publisher.
Related papers
- The Vanilla Sequent Calculus is Call-by-Value ESOP 2025
- An Extension of ATL with Strategy Interaction TOPLAS 2015
- Why the Constant 'Undefined'? Logics of Partial Terms for Strict and Non-Strict Functional Programming Languages JFP 1998
- Interactive proofs in higher-order concurrent separation logic POPL 2017
- Trust, but Verify: Two-Phase Typing for Dynamic Languages ECOOP 2015
- Adequacy for Algebraic Effects Revisited OOPSLA 2025
- From Call-by-Value to Interaction by Typed Closure Conversion APLAS 2015
- Environmental bisimulations for higher-order languages TOPLAS 2011