Programming Logic and Semantics

  • Postal addressShow on map

    4C corridor

    2300 Copenhagen

    Denmark

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 contribution › Research

    Open Access
    File