Accéder directement au contenu

Lê Thành Dũng Nguyễn

100%
Libre accès
8
Documents

Publications

Image document

Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations

Vincent Moreau , Lê Thành Dũng Nguyễn
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩
Communication dans un congrès hal-04447910v1
Image document

Algebraic Recognition of Regular Functions

Mikołaj Bojańczyk , Lê Thành Dũng Nguyễn
50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.117:1-117:19, ⟨10.4230/LIPIcs.ICALP.2023.117⟩
Communication dans un congrès hal-03985883v2
Image document

Comparison-free polyregular functions

Lê Thành Dũng Nguyễn , Camille Noûs , Cécilia Pradic
International Colloquium on Automata, Languages and Programming 2021, Jul 2021, Glasgow, United Kingdom
Communication dans un congrès hal-02986228v3
Image document

Implicit automata in typed λ-calculi I: aperiodicity in a non-commutative logic

Lê Thành Dũng Nguyễn , Cécilia Pradic
47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Jul 2020, Saarbrücken (virtual conference), Germany
Communication dans un congrès hal-02476219v3
Image document

From normal functors to logarithmic space queries

Lê Thành Dũng Nguyễn , Cécilia Pradic
46th International Colloquium on Automata, Languages and Programming (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.123⟩
Communication dans un congrès hal-02024152v3
Image document

Unique perfect matchings and proof nets

Lê Thành Dũng Nguyễn
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Jul 2018, Oxford, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2018.25⟩
Communication dans un congrès hal-01692179v2
Image document

On the elementary affine λ-calculus with and without type fixpoints

Lê Thành Dũng Nguyễn
Electronic Proceedings in Theoretical Computer Science, 2019, Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis (DICE-FOPARA 2019), 298, pp.15-29. ⟨10.4204/EPTCS.298.2⟩
Article dans une revue hal-02153709v1