|
|
Coalgebraic Coinduction in (Hyper)set-theoretic Categories
– Furio Honsell, Marina Lenisa, Honsell Lenisa
- 2000
|
|
4
|
Semantics for Finite Delay
– Chrysafis Hartonas
- 1997
|
|
1
|
Modeling Fresh Names in the π-calculus Using Abstractions
– Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
- 2004
|
|
4
|
Coinductive Characterizations of Applicative Structures
– Furio Honsell, Marina Lenisa
- 1998
|
|
2
|
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
– Marina Lenisa
- 1983
|
|
5
|
Themes in Final Semantics
– Marina Lenisa
- 1998
|
|
2
|
Coalgebraic Semantics of an Imperative Class Based Language
– Furio Honsell, Marina Lenisa
- 2003
|
|
2
|
Lectures on Semantics: The initial algebra and final coalgebra perspectives
– Peter Aczel
|
|
7
|
A Small Final Coalgebra Theorem
– Yasuo Kawahara, Masao Mori
- 1998
|
|
12
|
On the Foundations of Corecursion
– Lawrence S. Moss, NORMAN DANNER
- 1997
|
|
16
|
Final Universes of Processes
– Peter Aczel
- 1994
|
|
19
|
Mathematical Modal Logic: a View of its Evolution
– Robert Goldblatt
- 2001
|
|
37
|
A Coinduction Principle for Recursive Data Types Based on Bisimulation
– Marcelo P. Fiore
- 1996
|
|
7
|
Branching vs. linear time – semantical perspective
– Sumit Nain, Moshe Y. Vardi
|
|
85
|
Coalgebraic Logic
– Lawrence S. Moss
- 1999
|
|
|
Algebraic and Coalgebraic Structures (Lecture Notes for Álgebra de Processos)
– Luís Soares Barbosa
- 2003
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
11
|
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
– Marina Lenisa
- 1999
|
|
2
|
Final Coalgebras as Greatest Fixed Points in ZF Set Theory
– Lawrence C. Paulson, L. C. Paulson
- 1999
|
