ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK"
From MaRDI portal
Publication:5249285
DOI10.1142/S0129054101000722zbMATH Open1320.03066OpenAlexW1976972639MaRDI QIDQ5249285FDOQ5249285
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
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
Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Second- and higher-order arithmetic and fragments (03F35)
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)
