The following pages link to Niels van der Weide (Q2133177):
Displaying 8 items.
- The construction of set-truncated higher inductive types (Q2133178) (← links)
- (Q4989403) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- (Q5089004) (← links)
- (Q5089035) (← links)
- Constructing Higher Inductive Types as Groupoid Quotients (Q5145692) (← links)
- Bicategorical type theory: semantics and syntax (Q6149956) (← links)
- Bicategories in Univalent Foundations (Q6314994) (← links)