| Document Date: 2015-06-04 09:48:22
Open Document File Size: 521,83 KBShare Result on Facebook
Company Dagstuhl Publishing / Creative Commons / BP / / Country Germany / / / Event Product Recall / Product Issues / / Facility University of Birmingham / / IndustryTerm image-countable labelled transition systems / transition systems / / Organization School of Computer Science / University of Birmingham / / Person Bill Editors / Paul Blain / / Position Editor / / Product adjunction / / Technology Digital Object Identifier / dom / / |
Final coalgebras from corecursive algebras Paul Blain Levy1 1 School of Computer Science, University of Birmingham, UK