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

67 Structural Induction and Coinduction in a Fibrational Setting – Claudio Hermida, Bart Jacobs - 1997
6 Some properties of Fib as a fibred 2-category – Claudio Hermida - 1997
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
Logical Relations, Data Abstraction, and Structured Fibrations – John Power, Edmund Robinson
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
1 Categorical Properties of Logical Frameworks – Yuxi Fu, Yuxi Fu - 1993
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
8 Decomposing Typed Lambda Calculus Into a Couple of Categorical Programming Languages – Masahito Hasegawa - 1995
On Plotkin-Abadi Logic for Parametric Polymorphism - Towards a Categorical Understanding – P. Maneggia
Abstraction and Application in – unknown authors - 2001
1 Categorical Combinators for Charity – Peter M. Vesely, C Fl Peter M. Vesely - 1996
11 A Characterization Of Lambda Definability In Categorical Models Of Implicit Polymorphism – Moez Alimohamed - 1995
4 A 2-categories companion – Stephen Lack
13 From Coherent Structures to Universal Properties – Claudio Hermida - 1999
9 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997
33 Representable Multicategories – Claudio Hermida - 2000
6 An Australian conspectus of higher categories – Ross Street - 2004
18 Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory – Thomas M. Fiore