Pages that link to "Item:Q757027"
From MaRDI portal
The following pages link to Telescopic mappings in typed lambda calculus (Q757027):
Displaying 9 items.
- Isomorphism is equality (Q740487) (← links)
- The identity type weak factorisation system (Q959823) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- An intuitionistic theory of types with assumptions of high-arity variables (Q1192333) (← links)
- Inductive families (Q1336951) (← links)
- Joyal's arithmetic universes via type theory (Q2842826) (← links)
- A unified treatment of syntax with binders (Q3165528) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- Two-dimensional models of type theory (Q3395310) (← links)
