History and philosophy of constructive type theory

zbMath1028.03001MaRDI QIDQ1396584

Giovanni Sommaruga

Publication date: 3 July 2003

Published in: Synthese Library (Search for Journal in Brave)

zbMATH Keywords

constructive type theoryconstructive foundations of logic and mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics

This page was built for publication: History and philosophy of constructive type theory