A Classical Sequent Calculus with Dependent Types
Abstract elided by the publisher.
Related papers
- A Classical Sequent Calculus with Dependent Types TOPLAS 2019
- Approaches to Polymorphism in Classical Sequent Calculus ESOP 2006
- A tutorial on computational classical logic and the sequent calculus JFP 2018
- Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation OOPSLA 2025
- Disjunctive normal forms and local exceptions ICFP 2003
- The Vanilla Sequent Calculus is Call-by-Value ESOP 2025
- Lambda terms for natural deduction, sequent calculus and cut elimination JFP 2000
- Grokking the Sequent Calculus (Functional Pearl) ICFP 2024