Programming Logic and Semantics

Filter
Andet bidrag

Søgeresultater

  • 2016

    Representing Session Types

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

    Publikation: AndetAndet bidragForskning

    Åben adgang
    Fil