Completing Herbelin’s Programme

DOI10.1007/978-3-540-73228-0_10zbMath1215.03023OpenAlexW1558836792MaRDI QIDQ3612626

José Espírito Santo

Publication date: 10 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73228-0_10

Mathematics Subject Classification ID

Structure of proofs (03F07) Combinatory logic and lambda calculus (03B40)

Related Items (5)

Proofs, Upside Down ⋮ Characterising Strongly Normalising Intuitionistic Sequent Terms ⋮ The \(\lambda \)-calculus and the unity of structural proof theory ⋮ Monadic Translation of Intuitionistic Sequent Calculus ⋮ Intersection Types for the Resource Control Lambda Calculi

This page was built for publication: Completing Herbelin’s Programme