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
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.
password: <your email address>