| Start Time | Title | Authors |
|---|---|---|
| 13:30 | Quotient inductive-inductive types in the setoid model | Ambrus Kaposi and Zongpu Xie |
| 13:45 | Eliminating Infinitary Induction-induction | Filippo Sestini and Thorsten Altenkirch |
| 15:45 | Simulating large eliminations in Cedille | Christopher Jenkins, Andrew Marmaduke and Aaron Stump |
Simulating large eliminations in Cedille
1 file(s) 208.17 KB
Quotient inductive-inductive types in the setoid model
1 file(s) 277.93 KB
Eliminating Infinitary Induction-induction
1 file(s) 259.18 KB
Event Timeslots (2)
Monday
-
chair: Niccolò Veltri
Monday
-
chair: Niccolò Veltri
Leave a Comment