---------------------------- The following paper is available via ftp from Imperial College. The procedure follows the title and abstract A Semantics for Evaluation Logic Eugenio Moggi DISI, Univ. of Genova viale Benedetto XV 3, 16132 Genova, ITALY moggi@disi.unige.it Abstract This paper proposes a topos-theoretic semantic for the modalities and evaluation predicate of Pitts' Evaluation Logic, and introduces several predicate calculi (ranging from Horn sequents to Higher Order Logic), which are sound and complete w.r.t. natural classes of models. It is shown (by examples) that many computational monads satisfy the additional properties required by the proposed semantics. ------------------ ftp theory.doc.ic.ac.uk login: anonymous password: <your email address> cd /theory/papers/Moggi binary get ELT.dvi.Z -or- get ELT.ps.Z +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++