Výsledky vyhľadávania - Semantics of Programming Languages—Denotational semantics General Terms Languages

  • Zobrazené výsledky 1 - 1 z 1
Upresniť hľadanie
  1. 1
    Obálka

    Interaction Graphs: Full Linear Logic Autor Seiller, Thomas

    ISSN: 2575-5528
    Vydavateľské údaje: 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…”
    Získať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: