Showing 1 - 4 results of 4 for search 'Lê Thành Dũng Nguyên', query time: 0.02s Refine Results
  1. 1
    On the Elementary Affine Lambda-Calculus with and Without Fixed Points

    On the Elementary Affine Lambda-Calculus with and Without Fixed Points by Lê Thành Dũng Nguyen

    Published 2019-08-01
    Get full text
    Article
  2. 2
    Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix

    Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix by Lê Thành Dũng Nguyên

    Published 2020-02-01
    Get full text
    Article
  3. 3
    A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

    A System of Interaction and Structure III: The Complexity of BV and Pomset Logic by Lê Thành Dũng Nguyên, Lutz Straßburger

    Published 2023-12-01
    Get full text
    Article
  4. 4
    Coherent Interaction Graphs

    Coherent Interaction Graphs by Lê Thành Dũng Nguyen, Thomas Seiller

    Published 2019-04-01
    Get full text
    Article

Search Tools: