Showing 1 - 3 results of 3 for search 'Thanh-Dung Nguyen', query time: 0.02s Refine Results
  1. 1
    Simply typed convertibility is TOWER-complete even for safe lambda-terms

    Simply typed convertibility is TOWER-complete even for safe lambda-terms by Lê Thành Dũng Nguyên

    Published 2024-09-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

Search Tools: