Dmitriy Traytel
Formal Languages, Formally and Coinductively
FSCD, 2016.
@inproceedings{FSCD-2016-Traytel, author = "Dmitriy Traytel", booktitle = "{Proceedings of the First International Conference on Formal Structures for Computation and Deduction}", doi = "10.4230/LIPIcs.FSCD.2016.31", isbn = "978-3-95977-010-1", pages = "17", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{Formal Languages, Formally and Coinductively}", year = 2016, }