Pages that link to "Item:Q2130587"

The following pages link to Finitary higher inductive types in the groupoid model (Q2130587):

Displaying 7 items.

• A formal system of reduction paths for parallel reduction (Q1989338) (← links)
• The construction of set-truncated higher inductive types (Q2133178) (← links)
• A Syntax for Higher Inductive-Inductive Types (Q4993350) (← links)
• Bicategories in univalent foundations (Q5055496) (← links)
• (Q5089004) (← links)
• (Q5094144) (← links)
• (Q5216301) (← links)