scientific article; zbMATH DE number 1062114

zbMATH Open0876.03003MaRDI QIDQ4354787FDOQ4354787

Authors: Twan Dismas Laurens Laan 

Publication date: 17 September 1997

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

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

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)