3

A graphical approach to monad compositions
– P Eklund
 2001

1

Functional Pearls: A Poor Man's Concurrency Monad
– Koen Claessen
 1999

19

Modular Compilers Based on Monad Transformers
– William Harrison, Samuel N. Kamin
 1998

4

The category of Markov kernels
– P Panangaden
 1999

188

Toposes, Triples and Theories
– Michael Barr, Charles Wells
 2005

47

Document Structure
– Richard Power, Donia Scott, Nadjet BouayadAgha
 2003

68

Composing Monads
– Mark P. Jones, Luc Duponcheel
 1993

394

Category Theory for Computing Science
– Michael Barr, Charles Wells
 1990

730

Notions of Computation and Monads
– Eugenio Moggi
 1991

944

Term Rewriting and All That
– Franz Baader, Tobias Nipkow
 1998

1

Algebra Universalis 40
– V Stebletsova, Y Venema, Qalgebras
 1998

1

Sequential calculus, Information Processing Letters 53(3
– B von Karger, C A R Hoare
 1995

4

Computeraided investigations of relation algebras
– Peter Jipsen
 1992

4

The class of representable sequential algebras is not finitely axiomatizable
– B von Karger
 1994

9

A Calculational Approach to Reactive Systems
– B von Karger
 2000

15

Varieties of Relation Algebras, Algebra Universalis 15
– J`on82 J`onsson, B
 1982

28

Step by Step  Building Representations in Algebraic Logic
– Robin Hirsch, Ian Hodkinson
 1995

11

Discriminator varieties of Boolean algebras with residuated operators", in Algebraic methods in logic and computer science (editor
– P Jipsen
 1993

65

The representation of relational algebras
– R Lyndon
 1950
