default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th CMCS 2001: Genova, Italy (Part of ETAPS 2001)
- Andrea Corradini, Marina Lenisa, Ugo Montanari:
Coalgebraic Methods in Computer Science, CMCS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 6-7, 2001. Electronic Notes in Theoretical Computer Science 44(1), Elsevier 2001 - Peter Aczel, Jirí Adámek, Jirí Velebil:
A Coalgebraic View of Infinite Trees and Iteration. 1-26 - Jirí Adámek, Hans-E. Porst:
From Varieties of Algebras to Covarieties of Coalgebras. 27-46 - Luís Soares Barbosa
:
Process Calculià la Bird-Meertens. 47-66 - Falk Bartels:
Generalised Coinduction. 67-87 - J. Robin B. Cockett:
Deforestation, program transformation, and cut-elimination. 88-127 - Neil Ghani, Christoph Lüth, Federico De Marchi, John Power:
Algebras, Coalgebras, Monads and Comonads. 128-145 - Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch:
When is a function a fold or an unfold? 146-160 - Robert Goldblatt:
A Calculus of Terms for Coalgebras of Polynomial Functors. 161-184 - H. Peter Gumm, Tobias Schröder:
Monoid-labeled transition systems. 185-204 - Jesse Hughes:
Modal Operators for Coequations. 205-226 - Martin Hyland, John Power:
Two-dimensional linear algebra. 227-240 - Alexander Kurz:
Modal Rules are Co-Implications. 241-253 - Dragan Masulovic:
Invariants of monadic coalgebras. 254-270 - Dirk Pattinson:
Modal Languages for Coalgebras in a Topological Setting. 271-284 - Gordon D. Plotkin:
Bialgebraic Semantics and Recursion (Extended Abstract). 285-288 - Erik Poll, Jan Zwanenburg:
From Algebras and Coalgebras to Dialgebras. 289-307 - Andrea Corradini, Marina Lenisa, Ugo Montanari:
Preface. 308-309
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-23 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
