|
651
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
|
401
|
Computational Lambda-Calculus and Monads
– Eugenio Moggi
- 1988
|
|
15
|
Enriched Lawvere Theories. Theory and Applic
– J Power
- 1999
|
|
316
|
BASIC CONCEPTS OF ENRICHED CATEGORY THEORY
– G. M. Kelly
- 2005
|
|
369
|
Category Theory for Computing Science
– M Barr, C Wells
- 1990
|
|
3
|
Distributivity for Endofunctors
– M Lenisa, A J Power, H Watanabe
|
|
26
|
Variations on Algebra: monadicity and generalisations of equational theories
– Edmund Robinson
- 2001
|
|
154
|
An abstract view of programming languages
– Eugenio Moggi
- 1990
|
|
374
|
Algebraic theory of processes
– M Hennessy
- 1988
|
|
3
|
Towards a
– D Turi, G D Plotkin
- 1997
|
|
3
|
Algebra-Valued Functors in General and Tensor
– P Freyd
- 1966
|
|
8
|
A Syntactic Approach to Modularity
– P Cenciarelli, E Moggi
- 1993
|
|
122
|
Probabilistic Non-determinism
– Claire Jones
- 1990
|
|
108
|
G.: A probabilistic powerdomain of evaluations
– C Jones, Plotkin
- 1989
|
|
14
|
Call-By-Push-Value: A Subsuming Paradigm
– Paul Blain Levy
- 1999
|
|
5
|
Adjunctions whose counits are coequalisers, and presentations of finitary enriched monads
– G M Kelly, A J Power
- 1993
|
|
196
|
A powerdomain construction
– G. D. Plotkin
- 1976
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
29
|
Adequacy for algebraic effects
– Gordon Plotkin, Matija Pretnar
- 2001
|
