Programming Logic and Semantics

Filter
Other contribution

Search results

  • 2016

    Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 p.

    Research output: Other contributionResearch

    Open Access
    File