Semantic Scholar Open Access 1991 1995 sitasi

Notions of Computation and Monads

E. Moggi

Lihat Sumber DOI

Abstrak

Abstract The λ-calculus is considered a 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 provide a correct basis for proving equivalence of programs for a wide range of notions of computation .

Topik & Kata Kunci

Computer Science Mathematics

Penulis (1)

E. Moggi

Format Sitasi

APA MLA BibTeX

Moggi, E. (1991). Notions of Computation and Monads. https://doi.org/10.1016/0890-5401(91)90052-4

Akses Cepat

Lihat di Sumber doi.org/10.1016/0890-5401(91)90052-4

Informasi Jurnal

Tahun Terbit: 1991
Bahasa: en
Total Sitasi: 1995×
Sumber Database: Semantic Scholar
DOI: 10.1016/0890-5401(91)90052-4
Akses: Open Access ✓