DocumentCode
1996008
Title
A general semantics for Evaluation Logic
Author
Moggi, Eugenio
Author_Institution
DISI, Genoa Univ., Italy
fYear
1994
fDate
4-7 Jul 1994
Firstpage
353
Lastpage
362
Abstract
The semantics of Evaluation Logic proposed by Moggi (1994) relies on additional properties of monads. This paper proposes an alternative semantics, which drops all additional requirement on monads at the expense of stronger assumptions on the underlying category. These assumptions are satisfied by any topos, but not by the category of cpos. However, in the setting of Synthetic Domain Theory (J. Hyland, 1991) and (P.Taylor, 1991) it is possible to reconcile the needs of denotational semantics with those of logic
Keywords
formal logic; set theory; type theory; Evaluation Logic semantics; Synthetic Domain Theory; cpos; denotational semantics; monads; programming theory; set theory; topos; underlying category; Acoustic reflection; Computer languages; Computer science; Equations; Logic programming;
fLanguage
English
Publisher
ieee
Conference_Titel
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on
Conference_Location
Paris
Print_ISBN
0-8186-6310-3
Type
conf
DOI
10.1109/LICS.1994.316054
Filename
316054
Link To Document