Lê Thành Dũng Nguyên

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Function spaces for orbit-finite sets (available as arXiv preprint)	N/A	Paper
Slightly nonlinear higher-order tree transducers	2026-06-24	Paper
Comparison-free polyregular functions	2026-05-12	Paper
Implicit automata in typed -calculi I: aperiodicity in a non-commutative logic	2026-03-18	Paper
Syntactically and semantically regular languages of -terms coincide through logical relations	2026-02-19	Paper
Function spaces for orbit-finite sets	2026-01-14	Paper
Algebraic recognition of regular functions	2024-11-14	Paper
Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms Logical Methods in Computer Science	2024-11-12	Paper
BV and Pomset Logic Are Not the Same	2024-04-10	Paper
A System of Interaction and Structure III: The Complexity of BV and Pomset Logic Logical Methods in Computer Science	2024-01-16	Paper
scientific article; zbMATH DE number 7561616 (Why is no real title available?)	2022-07-21	Paper
Coherent interaction graphs (available as arXiv preprint)	2021-12-20	Paper
Coherent interaction graphs	2021-12-20	Paper
scientific article; zbMATH DE number 7359421 (Why is no real title available?)	2021-06-15	Paper
scientific article; zbMATH DE number 7199586 (Why is no real title available?) (available as arXiv preprint)	2020-05-12	Paper
scientific article; zbMATH DE number 7199586 (Why is no real title available?)	2020-05-12	Paper
When lattice cubes meet affine subspaces: a short note	2019-09-08	Paper
Around finite second-order coherence spaces	2019-02-01	Paper
Around finite second-order coherence spaces (available as arXiv preprint)	2019-01-01	Paper
When lattice cubes meet affine subspaces: a short note (available as arXiv preprint)	2019-01-01	Paper

Research outcomes over time

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