Themes in Final Semantics (1998)

Cached

Download Links

by Marina Lenisa
Venue:Dipartimento di Informatica, Università di
Citations:5 - 2 self

Active Bibliography

15 From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems – Marina Lenisa - 1999
1 A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects – Marina Lenisa - 1983
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
20 Bisimilarity of Open Terms – Arend Rensink - 2000
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
3 Coinductive Characterizations of Applicative Structures – Furio Honsell, Marina Lenisa - 1998
6 Discrimination by Parallel Observers: the Algorithm – Mariangiola Dezani-ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn, Pawe/l Urzyczyn - 1998
56 A brief history of process algebra – J. C. M. Baeten - 2004
Coalgebraic Coinduction in (Hyper)set-theoretic Categories – Furio Honsell, Marina Lenisa, Honsell Lenisa - 2000
4 Semantics for Finite Delay – Chrysafis Hartonas - 1997
journal homepage: www.elsevier.com/locate/tcs – Venanzio Capretta
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
5 Full Abstraction by Translation – Guy Mccusker - 1996
28 Mathematical Modal Logic: a View of its Evolution – Robert Goldblatt - 2001
9 Efficient and Flexible Matching of Recursive Types – Jens Palsberg, Tian Zhao - 2000
32 Compilation by Transformation in Non-Strict Functional Languages РAndré L. de M. Santos - 1995
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
8 Syntactic formats for free: An abstract approach to process equivalence – Bartek Klin - 2003