|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
29
|
Adequacy for algebraic effects
– Gordon Plotkin, Matija Pretnar
- 2001
|
|
316
|
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
– G. M. Kelly
- 2005
|
|
122
|
Probabilistic Non-determinism
– Claire Jones
- 1990
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
196
|
A powerdomain construction
– G. D. Plotkin
- 1976
|
|
108
|
G.: A probabilistic powerdomain of evaluations
– C Jones, Plotkin
- 1989
|
|
14
|
A representable approach to finite nondeterminism
– S O Anderson, John Power
- 1997
|
|
15
|
Enriched Lawvere Theories. Theory and Applic
– J Power
- 1999
|
|
8
|
A Syntactic Approach to Modularity
– P Cenciarelli, E Moggi
- 1993
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
7
|
Semantics for Algebraic Operations (extended abstract
– G D Plotkin, A J Power
- 2001
|
|
14
|
Enriched Lawvere Theories
– John Power
|
|
3
|
Towards a
– D Turi, G D Plotkin
- 1997
|
|
3
|
Algebra-Valued Functors in General and Tensor
– P Freyd
- 1966
|
|
3
|
Distributivity for Endofunctors
– M Lenisa, A J Power, H Watanabe
|
|
26
|
Variations on Algebra: monadicity and generalisations of equational theories
– Edmund Robinson
- 2001
|
|
5
|
Adjunctions whose counits are coequalisers, and presentations of finitary enriched monads
– G M Kelly, A J Power
- 1993
|
