Pages that link to "Item:Q5879185"
From MaRDI portal
The following pages link to MODELS OF MARTIN-LÖF TYPE THEORY FROM ALGEBRAIC WEAK FACTORISATION SYSTEMS (Q5879185):
Displaying 5 items.
- Polynomial-time Martin-Löf type theory (Q688850) (← links)
- On the strength of dependent products in the type theory of Martin-Löf (Q1024547) (← links)
- Martin-Löf identity types in C-systems (Q6139425) (← links)
- Kripke-Joyal forcing for type theory and uniform fibrations (Q6586829) (← links)
- Examples and cofibrant generation of effective Kan fibrations (Q6671729) (← links)