Adjunct Elimination in Context Logic for Trees
Abstract elided by the publisher.
Related papers
- A theory of effects and resources: adjunction models and polarised calculi POPL 2016
- A logic you can count on POPL 2004
- Context logic and tree update POPL 2005
- Programmable Syntax Macros PLDI 1993
- Context-Dependent Effects in Guarded Interaction Trees ESOP 2025
- Relational algebra by way of adjunctions ICFP 2018
- Semantics-Preserving Transformation of Context-Free Grammars into LL(1) Form Onward! 2025
- Classical Notions of Computation and the Hasegawa-Thielecke Theorem POPL 2026