Discrete Lawvere theories and computational effects

  title={Discrete Lawvere theories and computational effects},
  author={Martin Hyland and John Power},
  journal={Theor. Comput. Sci.},
Countable Lawvere theories model computational effects such as exceptions, side-effects, interactive input/output, nondeterminism and probabilistic nondeterminism. The category of countable Lawvere theories has sums, tensors, and distributive tensors, modelling natural combinations of such effects. It is also closed under taking images. Enrichment in a category such as Cpo allows one to extend this modelling of computational effects to account for partiality and recursion. Sum and tensor extend… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS
17 Citations
35 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 35 references

Two-dimensional Monad theory

  • R. Blackwell, G. M. Melly, A. J. Power
  • J. Pure Appl. Algebra 59
  • 1989
Highly Influential
6 Excerpts

Locally Presentable and Accessible Categories

  • J. Adámek, J. Rosický
  • London Mathematical Society Lecture Note Series…
  • 1994
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…