Pages that link to "Item:Q5249247"
From MaRDI portal
The following pages link to MARTIN-LÖF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK (Q5249247):
Displaying 7 items.
- Extending Martin-Löf type theory by one Mahlo-universe (Q1568707) (← links)
- Kripke Semantics for Martin-L\"of's Extensional Type Theory (Q3224684) (← links)
- Kripke Semantics for Martin-Löf’s Extensional Type Theory (Q3637199) (← links)
- (Q4247299) (← links)
- The Friedman‐Translation for Martin‐Löf's Type Theory (Q4844507) (← links)
- ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK" (Q5249285) (← links)
- (Q5472892) (← links)