|
33
|
Free Theorems in the Presence of seq
– Patricia Johann, Janis Voigtländer
- 2004
|
|
89
|
de Moor, O.: Algebra of Programming
– R Bird
- 1997
|
|
3
|
Iteration Monads
– Peter Aczel Jiri Adamek, Jiri Velebil, Peter Aczel, X Ty
- 2000
|
|
4
|
Terminal algebras in well-founded set theory
– M Barr
- 1993
|
|
3
|
Equational axiomatisability for coalgebra
– G Rosu
- 2000
|
|
8
|
Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem
– Christoph Lüth
- 1996
|
|
11
|
An algebra-coalgebra framework for system specification
– C Cîrstea
- 2007
|
|
19
|
A presentation of topoi as algebraic relative to categories or graphs
– E J Dubuc, G M Kelly
- 1983
|
|
20
|
Monads and Modular Term Rewriting
– Christoph Lüth, Neil Ghani
- 1997
|
|
26
|
Variations on Algebra: monadicity and generalisations of equational theories
– Edmund Robinson
- 2001
|
|
8
|
On final coalgebras of continuous functors
– J Adámek
|
|
39
|
Elementary Observations on 2-Categorical Limits
– G M Kelly
- 1989
|
|
57
|
Accessible categories: The foundations of categorical model theory
– M Makkai, R Paré
- 1989
|
|
56
|
Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
– G M Kelly, A J Power
- 1993
|
|
53
|
Functorial Operational Semantics and its Denotational Dual
– D Turi
- 1996
|
|
21
|
An Axiomatics for Categories of Coalgebras
– John Power, Hiroshi Watanabe
- 1998
|
|
130
|
Abstract syntax and variable binding
– M Fiore, G Plotkin, D Turi
- 1999
|
|
89
|
Algebraically complete categories
– P Freyd
- 1991
|
|
200
|
Introduction to functional programming using Haskell
– R Bird
- 1998
|
