Suchergebnisse - Semantics of Programming Languages—Denotational semantics General Terms Languages

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Interaction Graphs: Full Linear Logic von Seiller, Thomas

    ISSN: 2575-5528
    Veröffentlicht: ACM 01.07.2016
    “… Interaction graphs were introduced as a general, uniform, construction of dynamic models of linear logic, encompassing all Geometry of Interaction (GoI …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: