Journal: Electronic Notes in Theoretical Computer Science

Volume 44, Issue 1

1 -- 26Peter Aczel, Jirí Adámek, Jiri Velebil. A Coalgebraic View of Infinite Trees and Iteration
27 -- 46Jirí Adámek, Hans-E. Porst. From Varieties of Algebras to Covarieties of Coalgebras
47 -- 66Luís Soares Barbosa. Process Calculià la Bird-Meertens
67 -- 87Falk Bartels. Generalised Coinduction
88 -- 127J. Robin B. Cockett. Deforestation, program transformation, and cut-elimination
128 -- 145Neil Ghani, Christoph Lüth, Federico De Marchi, John Power. Algebras, Coalgebras, Monads and Comonads
146 -- 160Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch. When is a function a fold or an unfold?
161 -- 184Robert Goldblatt. A Calculus of Terms for Coalgebras of Polynomial Functors
185 -- 204H. Peter Gumm, Tobias Schröder. Monoid-labeled transition systems
205 -- 226Jesse Hughes. Modal Operators for Coequations
227 -- 240Martin Hyland, John Power. Two-dimensional linear algebra
241 -- 253Alexander Kurz. Modal Rules are Co-Implications
254 -- 270Dragan Masulovic. Invariants of monadic coalgebras
271 -- 284Dirk Pattinson. Modal Languages for Coalgebras in a Topological Setting
285 -- 288Gordon D. Plotkin. Bialgebraic Semantics and Recursion (Extended Abstract)
289 -- 307Erik Poll, Jan Zwanenburg. From Algebras and Coalgebras to Dialgebras
308 -- 309Andrea Corradini, Marina Lenisa, Ugo Montanari. Preface