Document Preview Unavailable
Implicit automata in typed \(\lambda\)-calculi II: streaming transducers vs categorical semantics
Lê Thành Dũng Nguyên; Noûs, Camille; Pradic, Cécilia. arXiv.org, Aug 25, 2021.You might have access to this document
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library