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