• Sign in
  • Sign up
conf.researchr.org / Lê Thành Dũng Nguyễn
  • ETAPS 2019 profile
  • POPL 2024 profile
Lê Thành Dũng Nguyễn

Registered user since Wed 13 Dec 2023

Name:Lê Thành Dũng Nguyễn
Country:France
Affiliation:École normale supérieure de Lyon
Personal website: https://nguyentito.eu
GitHub: https://github.com/nguyentito
Research interests:Automata theory

Contributions

2024

GaLoP

  • Author of Invisible pebbles and the geometry of affine higher-order tree transducers within the GALOP 2024-track

2019

DICE-FOPARA

  • Author of Finite semantics of polymorphism, complexity and the power of type fixpoints within the DICE-FOPARA-track
  • Author of From normal functors to logarithmic space queries within the DICE-FOPARA-track

GaLoP

  • Author of Some ideas for a finite geometry of interaction model of second-order MLL within the GaLoP-track
Share
xTue 13 May 22:49
using conf.researchr.org (v1.69.0)
Support page
Sign Up