Pages that link to "Item:Q2974664"

The following pages link to An algebraic weak factorisation system on 01-substitution sets: a constructive proof (Q2974664):

Displaying 10 items.

• Free functor from the category of \(G\)-nominal sets to that of 01-\(G\)-nominal sets (Q1797955) (← links)
• The univalence axiom in cubical sets (Q2319981) (← links)
• Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
• (Q4611379) (← links)
• Model structure on the universe of all types in interval type theory (Q5022925) (← links)
• Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
• Canonicity and homotopy canonicity for cubical type theory (Q5028486) (← links)
• (Q5089011) (← links)
• (Q5091148) (← links)
• (Q6079241) (← links)