Similar Items: Non-idempotent types for classical calculi in natural deduction style
- Inhabitation for Non-idempotent Intersection Types
- Non-idempotent intersection types and strong normalisation
- Idempotents in intensional type theory
- Improving legibility of natural deduction proofs is not trivial
- Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC