Lê Thành Dũng Nguyễn - Dissemin

Language
Login

All papers authored by Lê Thành Dũng Nguyễn

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

2020 Lê Thành Dũng Nguyễn

ORCID

Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic

Upload

This paper is made freely available by the publisher.

2019 Lê Thành Dũng Nguyen

ORCID

On the Elementary Affine Lambda-Calculus with and Without Fixed Points

Download from doi.org

This paper was not found in any repository; the policy of its publisher is unknown or unclear.

Lê Thành Dũng Nguyễn

ORCID

From Normal Functors to Logarithmic Space Queries

Upload

This paper is made freely available by the publisher.

Lê Thành Dũng Nguyen

ORCID

, Thomas Seiller

ORCID

Coherent Interaction Graphs

Download from doi.org

This paper is made freely available by the publisher.

2018 Lê Thành Dung Nguyen

ORCID

Unique perfect matchings and proof nets

Download from doi.org

Missing publications? Search for publications with a matching author name.