|
29
|
On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces
– Daniele Turi, Jan Rutten
- 1998
|
|
27
|
Domains and Denotational Semantics: History, Accomplishments and Open Problems
– Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark
- 1996
|
|
43
|
Presheaf Models for Concurrency
– Gian Luca Cattani
- 1999
|
|
52
|
Initial Algebra and Final Coalgebra Semantics for Concurrency
– Jan Rutten, Daniele Turi
- 1994
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
23
|
A Theory of Recursive Domains with Applications to Concurrency
– Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel
- 1997
|
|
7
|
A Structural Co-Induction Theorem
– J. J. M. M. Rutten
- 1993
|
|
12
|
Generic trace semantics via coinduction
– Ichiro Hasuo, Bart Jacobs, Ana Sokolova
- 2007
|
|
37
|
A Coinduction Principle for Recursive Data Types Based on Bisimulation
– Marcelo P. Fiore
- 1996
|
|
213
|
A Tutorial on (Co)Algebras and (Co)Induction
– Bart Jacobs, Jan Rutten
- 1997
|
|
15
|
Relational Properties of Recursively Defined Domains
– Andrew M. Pitts
- 1993
|
|
8
|
An Algebraic View of Structural Induction
– Claudio Hermida, Bart Jacobs
- 1994
|
|
92
|
Relational Properties of Domains
– Andrew M. Pitts
- 1996
|
|
67
|
Objects and Classes, Coalgebraically
– B. Jacobs, Issn -x, Bart Jacobs
- 1995
|
|
8
|
Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory
– Alex Simpson
- 2003
|
|
3
|
Formalizing Domains, Ultrametric Spaces and Semantics of Programming Languages
– Nick Benton , Andrew Kennedy, Carsten Varming
- 2010
|
|
2
|
An operational domain-theoretic treatment of recursive types
– Weng Kin Ho
- 2006
|
|
15
|
Simulations in Coalgebra
– Jesse Hughes, Bart Jacobs
- 2003
|
|
1
|
Categorical Logic
– S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts
- 2001
|
