Structural Induction and Coinduction in a Fibrational Setting (1997)

Cached

Download Links

by Claudio Hermida , Bart Jacobs
Venue:Information and Computation
Citations:67 - 14 self

Active Bibliography

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
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
55 Initial Algebra and Final Coalgebra Semantics for Concurrency – Jan Rutten, Daniele Turi - 1994
298 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
37 A Coinduction Principle for Recursive Data Types Based on Bisimulation – Marcelo P. Fiore - 1996
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
15 Relational Properties of Recursively Defined Domains – Andrew M. Pitts - 1993
99 Relational Properties of Domains – Andrew M. Pitts - 1996
9 An Algebraic View of Structural Induction – Claudio Hermida, Bart Jacobs - 1994
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
9 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
88 Categorical Logic – Andrew M. Pitts - 1995
17 Simulations in Coalgebra – Jesse Hughes, Bart Jacobs - 2003