An Algebraic View of Structural Induction (1994)

View PDF

Download Links

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

Active Bibliography

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