@inproceedings{https___doi.org_10.4230_lipics.fscd.2016.31,
    doi = {10.4230/LIPICS.FSCD.2016.31},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2016.31},
    author = {Traytel, Dmitriy},
    keywords = {Formal languages, codatatypes, corecursion, coinduction, interactive theorem proving, Isabelle HOL},
    language = {en},
    title = {Formal Languages, Formally and Coinductively},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2016},
    copyright = {Creative Commons Attribution 3.0 Unported license},
    date-added = {2024-12-10 18:15:2 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.fscd.2016.31, doi = {10.4230/LIPICS.FSCD.2016.31}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2016.31}, author = {Traytel, Dmitriy}, keywords = {Formal languages, codatatypes, corecursion, coinduction, interactive theorem proving, Isabelle HOL}, language = {en}, title = {Formal Languages, Formally and Coinductively}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2016}, copyright = {Creative Commons Attribution 3.0 Unported license}, date-added = {2024-12-10 18:15:2 +0100} }