24th Estonian Winter School in Computer Science (EWSCS)
XXIV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 3 - 8, 2019

Carsten Schürmann


ITU Copenhagen
Denmark

Behavioral types and logical frameworks: an introduction

Abstract

...

Course materials

Valid CSS! Valid XHTML 1.0 Strict Last changed March 30, 2019 22:58 Europe/Helsinki (GMT +02:00) by local organizers, ewscs19(at)cs.ioc.ee
EWSCS'19 page: http://cs.ioc.ee/ewscs/2019/