Pages that link to "Item:Q4635920"

The following pages link to Constructions with Non-Recursive Higher Inductive Types (Q4635920):

Displaying 6 items.

• The construction of set-truncated higher inductive types (Q2133178) (← links)
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory (Q4640312) (← links)
• Semantics of higher inductive types (Q4958656) (← links)
• (Q4989403) (← links)
• A Syntax for Higher Inductive-Inductive Types (Q4993350) (← links)
• (Q5216301) (← links)