|
11
|
Final Semantics for untyped λ-calculus
– Furio Honsell, Marina Lenisa
- 1995
|
|
16
|
Final Semantics for a Higher Order Concurrent Language
– Marina Lenisa
- 1995
|
|
12
|
On the Foundations of Final Semantics
– D Turi J J M M Rutten
- 1993
|
|
52
|
Initial Algebra and Final Coalgebra Semantics for Concurrency
– Jan Rutten, Daniele Turi
- 1994
|
|
55
|
Structural Induction and Coinduction in a Fibrational Setting
– Claudio Hermida, Bart Jacobs
- 1997
|
|
69
|
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach
– E.P. de Vink, J.J.M.M. Rutten
- 1998
|
|
53
|
Functorial Operational Semantics and its Denotational Dual
– D Turi
- 1996
|
|
53
|
Set-theory with free construction principles
– M Forti, F Honsell
- 1983
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
5
|
of object-oriented specifications with coinductive correctness proofs
– Behaviour-refinement
- 1997
|
|
2
|
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
– Marina Lenisa
- 1983
|
|
3
|
Coalgebraic Logic, to appear
– L Moss
|
|
2
|
and Partial Functions, Post-Graduate Lecture Notes
– Types
- 1985
|
|
41
|
Control Flow Semantics
– J de Bakker, E de Vink
- 1996
|
|
159
|
The Category-theoretic Solution of Recursive Domain Equations
– M Smyth, G D Plotkin
- 1982
|
|
37
|
A Coinduction Principle for Recursive Data Types Based on Bisimulation
– Marcelo P. Fiore
- 1996
|
|
63
|
Codifying guarded definitions with recursion schemes
– E Giménez
- 1994
|
