|
85
|
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
|
|
11
|
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
|
|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
19
|
Introduction to Coalgebra. Towards Mathematics of States and Observations
– Bart Jacobs
- 2005
|
|
7
|
Categorical Modelling of Structural Operational Rules - Case Studies
– Daniele Turi
- 1997
|
|
11
|
Distributive laws for the coinductive solution of recursive equations
– Bart Jacobs
|
|
2
|
Gibsonian affordances for roboticists
– Anthony Chemero, Michael T. Turvey
- 2007
|
|
|
Self-Organization, Writ Large
– Registered Engl, Wales Registered Number, Anthony Chemero A, Anthony Chemero
- 2008
|
|
6
|
STS: A Structural Theory of Sets
– A. Baltag, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Alexandru Baltag
- 1999
|
|
|
From Set-theoretic Coinduction to Coinduction: some results, some problems
– Marina Lenisa
- 1999
|
|
|
An introduction to (co)algebra and (co)induction
– unknown authors
|
|
12
|
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
|
|
|
Coalgebras, Stone Duality, Modal Logic
– Alexander Kurz
- 2006
|
