|
6
|
Algebraic structure for bicategory enriched categories
– R Gordon, A J Power
- 1998
|
|
2
|
Structures de by limits in the enriched context, I. Cahiers de Topologie et Geometrie Dierentielle
– G M Kelly
- 1982
|
|
1
|
An algebraic formulation for data re
– A J Power
- 1989
|
|
2
|
Power and Makoto Takeyama. Sketches
– Yoshiki Kinoshita, John
- 1999
|
|
11
|
The marriage of eects and monads
– P Wadler, P Thiemann
|
|
19
|
A presentation of topoi as algebraic relative to categories or graphs
– E J Dubuc, G M Kelly
- 1983
|
|
15
|
Premonoidal categories as categories with algebraic structure, Theoretical Computer Science 278
– A J Power
- 2002
|
|
19
|
Some aspects of equational categories
– F J Linton
- 1966
|
|
11
|
A.: Enrichment through variation
– R Gordon, Power
- 1997
|
|
9
|
Algèbres graphiques, Cahiers de Topologie Geométrie Di érentielle Catégoriques 22 (3
– A Burroni
- 1981
|
|
11
|
Spaces, volume 3 of Cambridge Studies in Advanced Mathematics
– Stone
- 1982
|
|
59
|
Lokal präsentierbare Kategorien
– P Gabriel, F Ulmer
- 1971
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
89
|
Premonoidal Categories and Notions of Computation
– John Power, Edmund Robinson
- 1995
|
|
102
|
Functional programming and input/output
– A D Gordon
- 1994
|
|
56
|
Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
– G M Kelly, A J Power
- 1993
|
|
94
|
Metric spaces, generalized logic, and closed categories
– F William Lawvere
- 1974
|
|
369
|
Category Theory for Computing Science
– M Barr, C Wells
- 1990
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
