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

Documents Related by Co-Citation

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: Non-Standard Sets, Metric Spaces, Partial Orders – Jan J. M. M. Rutten , Daniele Turi - 1998
133 Terminal coalgebras in well-founded 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 Co-Inductive Types in Coq: An Experiment with the Alternating Bit Protocol – Eduardo Gimenez, Ecole Normale, Ecole Normale, Suprieure Lyon, Suprieure Lyon - 1995