A modern perspective on type theory. From its origins until today

zbMath1077.03006MaRDI QIDQ1887432

Twan Laan, Fairouz Kamareddine, Rob Nederpelt

Publication date: 25 November 2004

Published in: Applied Logic Series (Search for Journal in Brave)

zbMATH Keywords

\(\lambda\)-calculustype systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

Related Items

Bridging Curry and Church's typing style ⋮ Procedural representation of CIC proof terms ⋮ POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE ⋮ Mathesis Universalis and Homotopy Type Theory ⋮ Obituary: Nicolaas Govert de Bruijn (1918--2012). Mathematician, computer scientist, logician ⋮ Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information ⋮ Computerizing Mathematical Text with MathLang