Lê Thành Dũng Nguyễn
100%
Libre accès
8
Documents
Publications
|
Syntactically and Semantically Regular Languages of λ-Terms Coincide Through Logical Relations32nd 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
|
|
Algebraic Recognition of Regular Functions50th 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
|
|
Comparison-free polyregular functionsInternational Colloquium on Automata, Languages and Programming 2021, Jul 2021, Glasgow, United Kingdom
Communication dans un congrès
hal-02986228v3
|
|
Implicit automata in typed λ-calculi I: aperiodicity in a non-commutative logic47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), Jul 2020, Saarbrücken (virtual conference), Germany
Communication dans un congrès
hal-02476219v3
|
|
From normal functors to logarithmic space queries46th 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
|
|
Unique perfect matchings and proof nets3rd 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
|
|
On the elementary affine λ-calculus with and without type fixpointsElectronic 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
|
|
Finite semantics of polymorphism, complexity and the power of type fixpoints2019
Pré-publication, Document de travail
hal-01979009v1
|