Computational Lambda-Calculus and Monads

Computational Lambda-Calculus and Monads (1989)

by Eugenio Moggi

Citations:

401 - 6 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Computational Lambda-Calculus and Monads	user correction - Legacy Corrections
AUTHOR NAME	Eugenio Moggi	SVM HeaderParse 0.1
AUTHOR AFFIL	; Lab. for Found. of Comp. Sci.; University of Edinburgh; On leave from Univ. di Pisa	SVM HeaderParse 0.2
AUTHOR ADDR	; EH9 3JZ Edinburgh, UK	SVM HeaderParse 0.1
ABSTRACT	The lambda-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses beta-eta-conversion to prove equivalence of programs, then a gross simplification is introduced. We give a calculus based on a categorical semantics for computations, which provides a correct basis for proving equivalence of programs, independent from any specific computational model.	user correction - Legacy Corrections
YEAR	1989	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	14--23	INFERENCE
CITATIONS	2 found	ParsCit 1.0