ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK"

DOI10.1142/S0129054101000722MaRDI QIDQ5249285zbMATH OpenOpenAlexFDO

Authors Yasuyuki Tsukada

Publication date 30 April 2015

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054101000722

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 3849195
• Martin-Löf's type theory as an open-ended framework
• The inconsistency of higher order extensions of Martin-Löf's type theory
• Remarks on Martin-Löf's partial type theory
• scientific article; zbMATH DE number 3853066
• On the syntax of Martin-Löf's type theories
• A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems
• scientific article; zbMATH DE number 517090
• An interpretation of Martin-Löf's type theory in a type-free theory of propositions

This page was built for publication: ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK"

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