Lê Thành Dũng Nguyên

From MaRDI portal
Revision as of 20:28, 26 December 2023 by Import231226041258 (talk | contribs) (Created automatically from import231226041258)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:4993355

Available identifiers

zbMath Open nguyen.le-thanh-dungMaRDI QIDQ4993355

List of research outcomes





PublicationDate of PublicationType
Algebraic recognition of regular functions2024-11-14Paper
Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms2024-11-12Paper
BV and Pomset Logic Are Not the Same2024-04-10Paper
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic2024-01-16Paper
https://portal.mardi4nfdi.de/entity/Q50923252022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q50184892021-12-20Paper
https://portal.mardi4nfdi.de/entity/Q49933562021-06-15Paper
https://portal.mardi4nfdi.de/entity/Q51095162020-05-12Paper
When lattice cubes meet affine subspaces: a short note2019-09-08Paper
Around finite second-order coherence spaces2019-02-01Paper
Function spaces for orbit-finite setsN/APaper

Research outcomes over time

This page was built for person: Lê Thành Dũng Nguyên

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:4993355&oldid=11338060"
Powered by MediaWiki