scientific article; zbMATH DE number 1062114

MaRDI QIDQ4354787zbMATH OpenFDO

Authors Twan Dismas Laurens Laan

Publication date 17 September 1997

zbMATH Keywords

Automathevolution of type theoryformal framework for type theories

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Mechanization of proofs and logical operations (03B35) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• History and philosophy of constructive type theory
• Type theory and formalisation of mathematics
• Publication:4204148
• A modern perspective on type theory. From its origins until today
• Logic in the 1930s: type theory and model theory
• scientific article; zbMATH DE number 1215502
• Mathematical logic: proof theory, type theory and constructive mathematics
• Higher-Order Logic and Type Theory
• Types in Logic and Mathematics before 1940
• scientific article; zbMATH DE number 1302061

Cited in

(4)

• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
• Revisiting the notion of function
• Automath and Pure Type Systems
• A modern perspective on type theory. From its origins until today

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4354787)