Pages that link to "Item:Q4993350"

The following pages link to A Syntax for Higher Inductive-Inductive Types (Q4993350):

Displaying 4 items.

• The construction of set-truncated higher inductive types (Q2133178) (← links)
• Constructing a universe for the setoid model (Q2233391) (← links)
• Type-theoretic approaches to ordinals (Q2700785) (← links)
• (Q5875441) (← links)