Similar Items: Linear Dependent Types and Relative Completeness
- Linear Dependent Type Theory for Quantum Programming Languages
- Left-Linear Completion with AC Axioms
- Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
- Constructing Fully Complete Models of Multiplicative Linear Logic
- Multimodal Dependent Type Theory
- Algebraic Presentations of Type Dependency