paper available via ftp

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


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
        get ELT.dvi.Z
        get ELT.ps.Z