Similar Items: A Curry-Howard Correspondence for Linear, Reversible Computation
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- A Curry-Howard Approach to Church's Synthesis
- Derivation Lengths Classification of Gödel's T Extending Howard's Assignment
- An enriched view on the extended finitary monad--Lawvere theory correspondence
- A correspondence between rooted planar maps and normal planar lambda terms
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA