| Start Time | Title | Authors |
|---|---|---|
| 11:30 | Size-Based Termination for Non-Positive Types | Yuta Takahashi |
| 11:45 | Constructive Notions of Ordinals in Homotopy Type Theory | Nicolai Kraus, Fredrik Nordvall Forsberg and Chuangjie Xu |
| 11:55 | Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor | Niccolò Veltri |
| 12:05 | M-types and Bisimulation | Daniël Otten and Henning Basold |
| 12:15 | A Formalisation of Approximation Fixpoint Theory | Bart Bogaerts and Luís Cruz-Filipe |
Size-Based Termination for Non-Positive Types
1 file(s) 331.78 KB
M-Types and Bisimulation
1 file(s) 239.10 KB
Constructive Notions of Ordinals in Homotopy Type Theory
1 file(s) 286.96 KB
A Formalisation of Approximation Fixpoint Theory
1 file(s) 280.01 KB
Event Timeslots (1)
Monday
-
chair: Rasmus Ejlers Møgelberg
Leave a Comment