Seminar, Logic
Tue 08 December - Thu 31 December
-
Seminar, Logic
Wednesday 2020-12-09, 10:00 - 12:00
Participating: Axel Ljungström
Location: Zoom, meeting ID: 610 2070 5696
2020-12-09T10:00:00.000+01:00 2020-12-09T12:00:00.000+01:00 Axel Ljungström: Cohomology in Cubical Type Theory and Agda (Seminar, Logic) Zoom, meeting ID: 610 2070 5696 (KTH, Stockholm, Sweden)Axel Ljungström: Cohomology in Cubical Type Theory and Agda (Seminar, Logic)