Pages that link to "Item:Q583201"
From MaRDI portal
The following pages link to The inconsistency of higher order extensions of Martin-Löf's type theory (Q583201):
Displaying 6 items.
- Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information (Q3401360) (← links)
- (In)consistency of Extensions of Higher Order Logic and Type Theory (Q3612441) (← links)
- (Q4531082) (← links)
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (Q4704657) (← links)
- (Q4944921) (← links)
- ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK" (Q5249285) (← links)
