Types in Logic and Mathematics before 1940

DOI10.2307/2693964zbMath1006.03002OpenAlexW4244255227MaRDI QIDQ3149961

Fairouz Kamaraddine, Twan Laan, Rob Nederpelt

Publication date: 6 March 2003

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0802-toc.htm

zbMATH Keywords

typeslambda calculusramified type theorysimplified type theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40)

Related Items (3)

In the Search of a Naive Type Theory ⋮ A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY ⋮ Polymorphic type-checking for the ramified theory of types of Principia Mathematica

This page was built for publication: Types in Logic and Mathematics before 1940