Mathematics Stack Exchange
Mathematics Stack Exchange

Lê Thành Dũng 'Tito' Nguyễn
442
reputation
  • CNRS & Aix-Marseille Univ.
  • Member since November 05 2022
  • 52 profile views
  • Last seen Jun 26 '25 at 09:09

Linear logician turned automata theorist.