Completing Herbelin’s Programme
From MaRDI portal
Publication:3612626
DOI10.1007/978-3-540-73228-0_10zbMath1215.03023MaRDI QIDQ3612626
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
Related Items
The \(\lambda \)-calculus and the unity of structural proof theory, Proofs, Upside Down, Intersection Types for the Resource Control Lambda Calculi, Characterising Strongly Normalising Intuitionistic Sequent Terms, Monadic Translation of Intuitionistic Sequent Calculus