pith. sign in

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