Final Coalgebras from Corecursive Algebras

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
EditorsLawrence S Moss, Pawel Sobocinski
PublisherSchloss Dagstuhl
Pages221-237
Volume35
ISBN (Electronic)9783939897842
DOIs
Publication statusPublished - 21 Oct 2015
Event6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) - Grenoble, France
Duration: 24 Jun 201526 Jun 2015

Publication series

NameLeibniz International Proceedings in Informatics
PublisherSchloss Dagstuhl/Leibniz-Zentrum fuer Informatik
Volume35
ISSN (Electronic)1868-8969

Conference

Conference6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
Country/TerritoryFrance
CityGrenoble
Period24/06/1526/06/15

Cite this