Pages that link to "Item:Q5145691"

The following pages link to A Constructive Model of Directed Univalence in Bicubical Sets (Q5145691):

Displaying 5 items.

• Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
• (Q5028425) (← links)
• Constructive sheaf models of type theory (Q5084309) (← links)
• Bicategorical type theory: semantics and syntax (Q6149956) (← links)
• Internal sums for synthetic fibered \((\infty,1)\)-categories (Q6496511) (← links)