Programming Logic and Semantics

67 Article in proceedings
39 Journal article
24 Conference article
11 Book chapter
More

1 results

Filter

2016
Representing Session Types
Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 p.
Research output: Other contribution › Research

Open Access
File