L\^e Th\`anh D\~ung Nguy\^en

Identifiers

• name variant L\^e Th\`anh D\~ung Nguy\^en 0.60 · backfill

Papers (4)

1. Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic) cs.FL · 2026 · author #2
2. A finer reparameterisation theorem for MSO and FO queries on strings cs.LO · 2025 · author #1
3. Typed lambda-calculi and superclasses of regular functions cs.LO · 2019 · author #1
4. Around finite second-order coherence spaces cs.LO · 2019 · author #1

Mentions

• 2512.06466 #1 · arxiv_oai · confidence 0.70 L\^e Th\`anh D\~ung Nguy\^en

Frequent Coauthors

• Charles Peyrat 1 shared papers
• Luc Dartois 1 shared papers
• Pawe{\l} Parys 1 shared papers