Lê Thành Dũng Nguyên

From MaRDI portal
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=30936642"
Powered by MediaWiki