| Start Time | Title | Authors |
|---|---|---|
| 11:30 | Interpreting Twisted Cubes as Partially Ordered Spaces | Gun Pinyo |
| 11:45 | B-systems and C-systems are equivalent | Benedikt Ahrens, Jacopo Emmenegger, Paige North and Egbert Rijke |
| 11:55 | A finite-dimensional model for affine, linear quantum lambda calculi with general recursion | Alejandro Díaz-Caro, Malena Ivnisky, Hernán Melgratti and Benoît Valiron |
| 12:05 | Semisimplicial Types in Internal Categories with Families | Joshua Chen and Nicolai Kraus |
| 12:15 | Types are internal ∞-groupoids | Antoine Allioux, Eric Finster and Matthieu Sozeau |
Types are Internal ∞-groupoids
1 file(s) 167.16 KB
Semisimplicial Types in Internal Categories with Families
1 file(s) 293.22 KB
Interpreting Twisted Cubes as Partially Ordered Spaces
1 file(s) 320.26 KB
B-systems and C-systems are equivalent
1 file(s) 379.99 KB
Event Timeslots (1)
Wednesday
-
chair: Fredrik Nordvall Forsberg
Leave a Comment