DMCA
Computational Lambda-Calculus and Monads (1988)
Cached
Download Links
- [pfp7.is.ocha.ac.jp]
- [www.disi.unige.it]
- [www.disi.unige.it]
- [www.disi.unige.it]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.disi.unige.it]
- [pdf.aminer.org]
- DBLP
Other Repositories/Bibliography
| Citations: | 501 - 6 self |
BibTeX
@INPROCEEDINGS{Moggi88computationallambda-calculus,
author = {Eugenio Moggi},
title = {Computational Lambda-Calculus and Monads},
booktitle = {},
year = {1988},
pages = {14--23},
publisher = {IEEE Computer Society Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 fij-conversion to prove equivalence of programs, then a gross simplification is introduced, that may jeopardise the applicability of theoretical results to real situations. In this paper we introduce a new calculus based on a categorical semantics for computations. This calculus provides a correct basis for proving equivalence of programs, independent from any specific computational model.
