Abstract Interpretation Based Semantics of Sequent Calculi
Abstract elided by the publisher.
Related papers
- Sequent calculi and abstract machines TOPLAS 2009
- Call-by-name extensionality and confluence JFP 2017
- A theory of effects and resources: adjunction models and polarised calculi POPL 2016
- A Classical Sequent Calculus with Dependent Types TOPLAS 2019
- An abstract, certified account of operational game semantics ESOP 2025
- The Vanilla Sequent Calculus is Call-by-Value ESOP 2025
- Temporal Abstract Interpretation POPL 2000
- Intrinsically-typed definitional interpreters for linear, session-typed languages CPP 2020