Carsten Schürmann
ITU Copenhagen
Denmark
Behavioral types and logical frameworks: an introduction
Abstract
...
Course materials
- C. Schürmann. Behavioral types and logical frameworks: an introduction. Slides from the lecture at EWSCS '19. [pdf]
- Videos from the lectures (large, unedited files) [mp4, password-protected]
Last changed
April 10, 2020 22:43 Europe/Helsinki (GMT +03:00)
by
local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page:
//cs.ioc.ee/ewscs/2019/