Title :
A general semantics for Evaluation Logic
Author_Institution :
DISI, Genoa Univ., Italy
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;
Conference_Titel :
Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on
Conference_Location :
Paris
Print_ISBN :
0-8186-6310-3
DOI :
10.1109/LICS.1994.316054
