Summary: Tailoring Filter Models
F. ALESSI a , F. BARBANERA b , M. DEZANI­CIANCAGLINI c
a Dipartimento di Matematica e Informatica
Via delle Scienze, 206 33100 Udine (Italy)
e­mail: alessi@dimi.uniud.it
b Dipartimento di Matematica e Informatica
Viale A.Doria, 6 95125 Catania (Italy)
e­mail: barba@dmi.unict.it
c Dipartimento di Informatica
Corso Svizzera, 125 10149 Torino (Italy)
e­mail: dezani@di.unito.it
Research Report UDMI/05/2004/RR
Abstract
Conditions on type preorders are provided in order to characterize the induced
filter models for the ­calculus and some of its restrictions. Besides, two exam­
ples are given of filter models in which not all the continuous functions are repre­
sentable.
1. Introduction
The semantics of the ­calculus can be looked at from several points of view. A possi­
ble one considers a model as an abstract way of handling and dealing with the syntax.

Source: Alessi, Fabio - Dipartimento di Matematica e Informatica, Università degli Studi di Udine

Collections: Computer Technologies and Information Sciences