The following pages link to Paolo Capriotti (Q1652992):
Displaying 7 items.
- Quotient inductive-inductive types (Q1652995) (← links)
- Free Applicative Functors (Q4995159) (← links)
- Non-wellfounded trees in Homotopy Type Theory (Q5277827) (← links)
- (Q5278407) (← links)
- Functions out of Higher Truncations (Q5351968) (← links)
- Two-level type theory and applications (Q6149950) (← links)
- Two-level type theory and applications - ERRATUM (Q6149963) (← links)
