Understanding Constructing Quotient Inductive Inductive Types
Let's dive into the details surrounding Constructing Quotient Inductive Inductive Types. Paper and supplementary material: ...
Key Takeaways about Constructing Quotient Inductive Inductive Types
- LICS 2020
- Homotopy
- LICS 2020 Large and Infinitary
- Inductive Construction
- Paper and supplementary material: ...
Detailed Analysis of Constructing Quotient Inductive Inductive Types
Workshop on Homotopy Thorsten Altenkirch. Homotopy
For course material, see http://www.cs.cmu.edu/~rwh/courses/hott/ Lecture notes: ...
That wraps up our extensive overview of Constructing Quotient Inductive Inductive Types.