ON THE REDUCTION OF TYPE THEORY

DOI10.1002/MALQ.19830290409zbMath0554.03026OpenAlexW2041835276MaRDI QIDQ3216641

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

type theoryNew Foundations

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Related Items (2)

NFSI IS NOT INCLUDED IN NF₃ ⋮ The rise and fall of typed sentences

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