Semantics for Algebraic Operations (2001)

Cached

Download Links

by Gordon Plotkin , John Power
Venue:Proc. MFPS 17, Electronic Notes in Thoeret. Comp. Sci
Citations:10 - 3 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
17 Enriched lawvere theories,” Theory and Applications of Categories – J Power - 1999
381 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
394 Category Theory for Computing Science – Michael Barr, Charles Wells - 1990
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
30 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
3 Distributivity for Endofunctors – M Lenisa, A J Power, H Watanabe
15 Call-By-Push-Value: A Subsuming Paradigm – Paul Blain Levy - 1999
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
5 Adjunctions whose counits are coequalisers, and presentations of finitary enriched monads – G M Kelly, A J Power - 1993
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
163 An abstract view of programming languages – E Moggi - 1989
210 A powerdomain construction – G. D. Plotkin - 1976
137 Probabilistic Non-determinism – C Jones - 1990
126 A probabilistic powerdomain of evaluations – C Jones, G D Plotkin - 1989
394 Algebraic Theory of Processes – M Hennessy - 1988