An Algebraic View of Structural Induction (1994)

Cached

Download Links

by Claudio Hermida , Bart Jacobs
Venue:Computer Science Logic 1994, number 933 in Lect. Notes Comp. Sci
Citations:9 - 5 self

Active Bibliography

734 Notions of Computation and Monads – Eugenio Moggi - 1991
67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
8 Some properties of Fib as a fibred 2-category – Claudio Hermida - 1997
263 Relations in Concurrency – Glynn Winskel
257 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990
230 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
190 The Logic of Bunched Implications – Peter W. O'Hearn, David J. Pym - 1999