## Notions of Computation and Monads (1991)

### Cached

### Download Links

by
Eugenio Moggi

Citations: | 730 - 15 self |

### BibTeX

@MISC{Moggi91notionsof,

author = {Eugenio Moggi},

title = {Notions of Computation and Monads},

year = {1991}

}

### Years of Citing Articles

### OpenURL

### Abstract

The i.-calculus is considered a useful mathematical tool in the study of programming languages, since programs can be identified with I-terms. However, if one goes further and uses bn-conversion to prove equivalence of programs, then a gross simplification is introduced (programs are identified with total functions from calues to values) that may jeopardise the applicability of theoretical results, In this paper we introduce calculi. based on a categorical semantics for computations, that provide a correct basis for proving equivalence of programs for a wide range of notions of computation.