|
55
|
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
|
|
156
|
N.: A Final Coalgebra Theorem
– P Aczel, Mendler
- 1989
|
|
17
|
Strong categorical datatypes II: A term logic for categorical programming
– J R B Cockett, D Spencer
- 1995
|
|
11
|
Logical Predicates and Indeterminates
– Fibrations
- 1993
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
39
|
Categorical Type Theory
– B Jacobs
- 1991
|
|
909
|
Introduction to Lattices and Order
– B A Davey, H A Priestley
- 1990
|
|
90
|
An approach to object semantics based on terminal co-algebras
– H Reichel
- 1995
|
|
47
|
On the Foundations of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
– Jan J. M. M. Rutten , Daniele Turi
- 1998
|
|
23
|
Final data types and their specification
– Samuel Kamin
- 1983
|
|
117
|
Terminal coalgebras in well-founded set theory
– M Barr
- 1993
|
|
190
|
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
|
|
186
|
Non-well-founded sets
– P ACZEL
- 1988
|
|
261
|
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
|
Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol
– Eduardo Gimenez, Ecole Normale, Ecole Normale, Suprieure Lyon, Suprieure Lyon
- 1995
|
