| Start Time | Title | Authors |
|---|---|---|
| 10:00 | On the logical structure of choice and bar induction principles | Nuria Brede and Hugo Herbelin |
| 10:10 | A container model of type theory | Thorsten Altenkirch and Ambrus Kaposi |
| 10:25 | Quantitative polynomial functors | Georgi Nakov and Fredrik Nordvall Forsberg |
| 10:35 | Shape-irrelevant reflection: Terminating extensional type theory | Théo Winterhalter |
| 10:45 | On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction | Andreas Abel |
Shape-irrelevant reflection: Terminating extensional type theory
1 file(s) 62.39 KB
Quantitative polynomial functors
1 file(s) 253.57 KB
On the logical structure of choice and bar induction principles
1 file(s) 295.47 KB
On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction
1 file(s) 202.43 KB
A container model of type theory
1 file(s) 295.52 KB
Event Timeslots (1)
Wednesday
-
chair: Herman Geuvers
Leave a Comment