Pages that link to "Item:Q4958656"

The following pages link to Semantics of higher inductive types (Q4958656):

Displaying 10 items.

• Construction of the circle in \textit{UniMath} (Q2031555) (← links)
• The construction of set-truncated higher inductive types (Q2133178) (← links)
• Characterizations of modalities and lex modalities (Q2229967) (← links)
• Type-theoretic approaches to ordinals (Q2700785) (← links)
• Towards a homotopy domain theory (Q2700838) (← links)
• A class of higher inductive types in Zermelo‐Fraenkel set theory (Q6094139) (← links)
• The Hurewicz theorem in homotopy type theory (Q6112530) (← links)
• Univalent categories of modules (Q6149909) (← links)
• The long exact sequence of homotopy <i>n</i>-groups (Q6149949) (← links)
• On the ∞$\infty$‐topos semantics of homotopy type theory (Q6150054) (← links)