Pages that link to "Item:Q5277974"
From MaRDI portal
The following pages link to The General Universal Property of the Propositional Truncation (Q5277974):
Displaying 6 items.
- Higher Homotopies in a Hierarchy of Univalent Universes (Q2957700) (← links)
- Notions of anonymous existence in Martin-Löf type theory (Q2980980) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
- Two guarded recursive powerdomains for applicative simulation (Q6653758) (← links)