Notions of Computation and Monads

@article{Moggi1991NotionsOC,
  title={Notions of Computation and Monads},
  author={Eugenio Moggi},
  journal={Inf. Comput.},
  year={1991},
  volume={93},
  pages={55-92}
}

• Eugenio Moggi
• Published 1991 in Inf. Comput.
• DOI:10.1016/0890-5401(91)90052-4

The λ-calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with λ-terms. However, if one goes further and uses βη-conversion to prove equivalence of programs, then a gross simplification is introduced (programs are identified with total functions from values to values), that may jeopardise the applicability of theoretical results. In this paper we introduce calculi based on a categorical semantics for computations, that… CONTINUE READING

Save to Library

Create Alert

Cite

View via Publisher