Start TimeTitleAuthors
11:30Size-Based Termination for Non-Positive TypesYuta Takahashi
11:45Constructive Notions of Ordinals in Homotopy Type TheoryNicolai Kraus, Fredrik Nordvall Forsberg and Chuangjie Xu
11:55Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset FunctorNiccolò Veltri
12:05M-types and BisimulationDaniël Otten and Henning Basold
12:15A Formalisation of Approximation Fixpoint TheoryBart Bogaerts and Luís Cruz-Filipe

Event Timeslots (1)

chair: Rasmus Ejlers Møgelberg

Leave a Comment

Your email address will not be published. Required fields are marked *