Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Alessi, Fabio - Dipartimento di Matematica e Informatica, Università degli Studi di Udine
Intersection Types and Lambda Models Fabio Alessi a
Electronic Notes in Theoretical Computer Science 70 No. 1 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 18 pages
Fundamenta Informaticae 30 (1997) 23--41 1 A Convex Powerdomain over Lattices: its Logic and
A category of compositional domainmodels for separable Stone spaces #
Intersection Types and Lambda Models Fabio Alessi a
Type preorders and recursive terms Fabio Alessi 1
Intersection Types and Domain Operators ? Fabio Alessi a , Mariangiola DezaniCiancaglini b , Stefania Lusin c
Type preorders and recursive terms Fabio Alessi 1
Tailoring Filter Models F. ALESSI a , F. BARBANERA b , M. DEZANICIANCAGLINI c
A Complete Characterization of Complete Intersection-Type Preorders
A Fixed Point Theorem in a Category of Compact Metric Spaces \Lambda
Inverse Limit Models as Filter Models Fabio Alessi 1 , Mariangiola Dezani-Ciancaglini 2? , and Furio Honsell 1
Filter Models and Easy Terms ? F.Alessi 1 , M. Dezani-Ciancaglini 2 , F. Honsell 1
Tailoring Filter Models , F. Barbanera2
Intersection Types and Domain Operators Fabio Alessi a
An irregular filter model Fabio Alessi
Recursive Domain Equations of Filter Models Fabio Alessi and Paula Severi
