Substructural Proofs as Automata
No abstract available.
Related papers
- Higher-order representation of substructural logics ICFP 2010
- Split Decisions: Explicit Contexts for Substructural Languages CPP 2025
- A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl) ECOOP 2020
- A step-indexed model of substructural state ICFP 2005
- A short cut to parallelization theorems ICFP 2013
- Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk) APLAS 2004
- Automata as Proofs VMCAI 2013
- Modular Substructural Constraints for Embedded DSLs GPCE 2026