Výsledky vyhledávání - Semantics of Programming Languages—Denotational semantics General Terms Languages

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1
    Obálka

    Interaction Graphs: Full Linear Logic Autor Seiller, Thomas

    ISSN: 2575-5528
    Vydáno: 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ískat plný text
    Konferenční příspěvek
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: