Final Coalgebras from Corecursive Algebras

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

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationProceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
EditorsLawrence S Moss, Pawel Sobocinski
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)
CountryFrance
CityGrenoble
Period24/06/1526/06/15