Dissemin
Language
العربيّة
Deutsch
English
Español
Suomi
Français
한국어
Македонски
Português
Português Brasileiro
Русский
Svenska
Türkçe
简体中文
繁體中文
Login
Dissemin
Lê Thành Dũng Nguyễn
Nguyễn, 2020
Links
ORCID
Tools
Export citation
×
Format
BibTeX
@inproceedings{Nguyễn2020, author = {Nguyễn, Lê Thành Dũng}, month = {jan}, title = {Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic}, year = {2020} }
Export citation
Search in Google Scholar
Implicit Automata in Typed λ-Calculi I: Aperiodicity in a Non-Commutative Logic
Proceedings article published in 2020 by
Lê Thành Dũng Nguyễn
This paper was not found in any repository; the policy of its publisher is unknown or unclear.
Full text:
Unavailable
Preprint
: policy unknown
Upload
Postprint
: policy unknown
Upload
Published version
: policy unknown
Upload