Generalizing the powerset construction, coalgebraically

A. Silva, F. Bonchi, M.M. Bonsangue, J.J.M.M. Rutten

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceeedings 30th Conference on foundations of Software Technology and Theoretcial Computer Science (FSTTCS'2010)
PublisherLeibniz International Proceedings in Informatics
Pages272-283
Publication statusPublished - 2010
EventFoundations of Software Technology and Theoretical Computer Science FSTTCS'2010 -
Duration: 1 Jan 20101 Jan 2010

Conference

ConferenceFoundations of Software Technology and Theoretical Computer Science FSTTCS'2010
Period1/01/101/01/10

Cite this