Jirí Adámek
On Free Completely Iterative Algebras
CSL, 2020.
@inproceedings{CSL-2020-Adamek, author = "Jirí Adámek", booktitle = "{Proceedings of the 28th EACSL Annual Conference on Computer Science Logic}", doi = "10.4230/LIPIcs.CSL.2020.7", isbn = "978-3-95977-132-0", pages = "21", publisher = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}", title = "{On Free Completely Iterative Algebras}", year = 2020, }