The inconsistency of higher order extensions of Martin-Löf's type theory
From MaRDI portal
Publication:583201
DOI10.1007/BF00262943zbMath0692.03034MaRDI QIDQ583201
Publication date: 1989
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Related Items (3)
Unnamed Item ⋮ Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? ⋮ Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
This page was built for publication: The inconsistency of higher order extensions of Martin-Löf's type theory
