Pages that link to "Item:Q283766"

The following pages link to Canonicity of weak \(\omega\)-groupoid laws using parametricity theory (Q283766):

Displaying 3 items.

• The \textsc{MetaCoq} project (Q2209542) (← links)
• A Syntax for Higher Inductive-Inductive Types (Q4993350) (← links)
• (Q5216301) (← links)