67

Structural Induction and Coinduction in a Fibrational Setting
– Claudio Hermida, Bart Jacobs
 1997

8

Parameters and parametrization in specification, using distributive categories
– B Jacobs
 1995

162

A final coalgebra theorem
– Peter Aczel, Nax Mendler
 1989

18

Strong categorical datatypes II: A term logic for categorical programming
– J R B Cockett, D Spencer
 1995

11

Logical Predicates and Indeterminates
– Fibrations
 1993

930

Categories for the Working Mathematician
– S Mac Lane
 1971

42

Categorical Type Theory
– B Jacobs
 1991

1065

Introduction to lattices and order
– B A Davey, H A Priestley
 2002

92

An approach to object semantics based on terminal coalgebras
– H Reichel
 1995

23

Final data types and their specification
– Samuel Kamin
 1983

48

On the Foundations of Final Semantics: NonStandard Sets, Metric Spaces, Partial Orders
– Jan J. M. M. Rutten , Daniele Turi
 1998

133

Terminal coalgebras in wellfounded set theory, Theoretical Computer Science 114
– M Barr
 1993

206

PVS: Combining Specification, Proof Checking, and Model Checking
– S. Owre, S. Rajan, J. M. Rushby, N. Shankar, M. Srivas
 1996

18

Handbook of Categorical Algebra, volume 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ
– F Borceux
 1994

37

A Coinduction Principle for Recursive Data Types Based on Bisimulation
– Marcelo P. Fiore
 1996

202

Nonâ€“Wellâ€“Founded Sets
– P Aczel
 1988

274

An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types
– J A Goguen, J W Thatcher, E G Wagner
 1978

7

Data Categories
– C. Barry Jay
 1996

12

CoInductive Types in Coq: An Experiment with the Alternating Bit Protocol
– Eduardo Gimenez, Ecole Normale, Ecole Normale, Suprieure Lyon, Suprieure Lyon
 1995
