Countable Lawvere Theories and Computational Effects (2006)

Cached


by John Power
Citations:11 - 2 self

Documents Related by Co-Citation

734 Notions of Computation and Monads – Eugenio Moggi - 1991
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
54 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
32 Adequacy for algebraic effects – Gordon Plotkin, Matija Pretnar - 2001
379 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
26 Computational Effects and Operations: An Overview – Gordon Plotkin, John Power - 2004