Approaches to Polymorphism in Classical Sequent Calculus
No abstract available.
Related papers
- A Classical Sequent Calculus with Dependent Types ESOP 2017
- Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation OOPSLA 2025
- A tutorial on computational classical logic and the sequent calculus JFP 2018
- A Classical Sequent Calculus with Dependent Types TOPLAS 2019
- The Vanilla Sequent Calculus is Call-by-Value ESOP 2025
- On Polymorphic Sessions and Functions - A Tale of Two (Fully Abstract) Encodings ESOP 2018
- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings TOPLAS 2021
- Disjunctive normal forms and local exceptions ICFP 2003