Parametric Corecursion (0)

Cached

Download Links

by Lawrence S. Moss
Venue:Theoretical Computer Science
Citations:14 - 3 self

Active Bibliography

1 Uniform Functors on Sets – Lawrence S. Moss
89 Coalgebraic Logic – Lawrence S. Moss - 1999
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
6 Recursion and Corecursion Have the Same Equational Logic – Lawrence S. Moss
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
8 Categorical Modelling of Structural Operational Rules - Case Studies – Daniele Turi - 1997
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
Self-Organization, Writ Large – Registered Engl, Wales Registered Number, Anthony Chemero A, Anthony Chemero - 2008
7 STS: A Structural Theory of Sets – A. Baltag, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Alexandru Baltag - 1999
4 Gibsonian affordances for roboticists – Anthony Chemero, Michael T. Turvey - 2007
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
An introduction to (co)algebra and (co)induction – unknown authors
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
1 Modeling Fresh Names in the π-calculus Using Abstractions – Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan - 2004
Algebraic and Coalgebraic Structures (Lecture Notes for Álgebra de Processos) – Luís Soares Barbosa - 2003
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors