Structural Induction and Coinduction in a Fibrational Setting (1997)

Cached

Download Links

by Claudio Hermida , Bart Jacobs
Venue:Information and Computation
Citations:70 - 15 self

Active Bibliography

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
30 On the Foundations of Final Coalgebra Semantics: non-well-founded sets, partial orders, metric spaces – Daniele Turi, Jan Rutten - 1998
29 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
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
734 Notions of Computation and Monads – Eugenio Moggi - 1991
230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996