%0 Journal Article %1 journals/corr/abs-2008-01050 %A Nguyên, Lê Thành Dung %A Noûs, Camille %A Pradic, Cécilia %D 2020 %J CoRR %K dblp %T Implicit automata in typed λ-calculi II: streaming transducers vs categorical semantics. %U http://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-01050 %V abs/2008.01050

@article{journals/corr/abs-2008-01050, added-at = {2024-03-13T00:00:00.000+0100}, author = {Nguyên, Lê Thành Dung and Noûs, Camille and Pradic, Cécilia}, biburl = {https://www.bibsonomy.org/bibtex/211a34d15a33adf7d5186afab120f44ac/dblp}, ee = {https://arxiv.org/abs/2008.01050}, interhash = {e936538768cd9f265d34314b7776fafd}, intrahash = {11a34d15a33adf7d5186afab120f44ac}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:28:22.000+0200}, title = {Implicit automata in typed λ-calculi II: streaming transducers vs categorical semantics.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-01050}, volume = {abs/2008.01050}, year = 2020 }