@misc{indiciaeaea0bb4bb03f,
  title = {Implicit automata in typed \$λ\$-calculi II: streaming transducers vs categorical semantics},
  author = {Lê Thành Dũng Nguyên and Camille Noûs and Cécilia Pradic},
  year = {2021},
  url = {https://arxiv.org/abs/2008.01050},
  note = {Source identifier: 2008.01050}
}