Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Tailoring Filter Models F. ALESSI a , F. BARBANERA b , M. DEZANICIANCAGLINI c
 

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