Similar Items: Proof-Relevant Logical Relations for Name Generation
- Generative Unbinding of Names
- Logical Concurrency Control from Sequential Proofs
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory
- Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
- Towards a Proof Theory of Gödel Modal Logics