ON THE REDUCTION OF TYPE THEORY

DOI10.1002/MALQ.19830290409MaRDI QIDQ3216641zbMATH OpenOpenAlexFDO

Authors Marcel Crabbé

Publication date 1983

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19830290409

zbMATH Keywords

New Foundationstype theory

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Recommendations

• Collections, sets and types
• scientific article; zbMATH DE number 3882419
• On the logic of reducibility: Axioms and examples
• Truth and reduction
• A Reduction of the NF consistency Problem

Cited in

(8)

• The rise and fall of typed sentences
• An intensional type theory: Motivation and cut-elimination
• NFSI IS NOT INCLUDED IN NF₃
• Collections, sets and types
• scientific article; zbMATH DE number 1086659 (Why is no real title available?)
• Typed Lambda Calculi and Applications
• A correspondence between type checking via reduction and type checking via evaluation
• The role of compactification theory in the type problem

This page was built for publication: ON THE REDUCTION OF TYPE THEORY

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