Search Results - Semantics of Programming Languages—Denotational semantics General Terms Languages

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Interaction Graphs: Full Linear Logic by Seiller, Thomas

    ISSN: 2575-5528
    Published: 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…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: