Pages that link to "Item:Q6139425"

The following pages link to Martin-Löf identity types in C-systems (Q6139425):

Displaying 2 items.

• Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831) (← links)
• Simplicial sets inside cubical sets (Q5858940) (← links)