Programming Logic and Semantics

67 Konferencebidrag i proceedings
39 Tidsskriftartikel
24 Konferenceartikel
11 Bidrag til bog/antologi
Mere

1 resultater

Filter

2016
Representing Session Types
Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 s.
Publikation: Andet › Andet bidrag › Forskning

Åben adgang
Fil