Seminar, Logic
Mon 25 November - Sun 01 December
No calendar events were found within the current period.
Upcoming calendar events:
-
4DecSeminar, LogicWednesday 2019-12-04, 10:00 - 11:45Lecturer: Anders MörtbergLocation: Kräftriket, house 5, room 162019-12-04T10:00:00.000+01:00 2019-12-04T11:45:00.000+01:00 Anders Mörtberg: Programming and proving with higher inductive types in Cubical Agda (Seminar, Logic) Anders Mörtberg: Programming and proving with higher inductive types in Cubical Agda (Seminar, Logic)