Suivre
Lê Thành Dũng Nguyễn
Lê Thành Dũng Nguyễn
Doctorant, Laboratoire d'informatique de Paris Nord
Adresse e-mail validée de nguyentito.eu - Page d'accueil
Titre
Citée par
Citée par
Année
Finite semantics of polymorphism, complexity and the power of type fixpoints
LTD Nguyên, P Pistone, T Seiller, LT de Falco
arXiv preprint arXiv:1902.00196, 2019
1*2019
From normal functors to logarithmic space queries
P Pradic
2019
Unique perfect matchings, edge-colored graphs and proof nets for linear logic with Mix
LTD Nguyên
arXiv preprint arXiv:1901.10247, 2019
2019
Constrained path-finding and structure from acyclicity
LTD Nguyên
arXiv preprint arXiv:1901.07028, 2019
2019
Unique perfect matchings and proof nets
LTD Nguyen
3rd International Conference on Formal Structures for Computation and …, 2018
2018
Handsome proof nets for MLL+ Mix with forbidden transitions
NLT Dũng
2017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–6