Fabio Alessi, Franco Barbanera, and Mariangiola
Dezani-Ciancaglini
Tailoring filter models
In Stefano Berardi, Mario Coppo, and Ferruccio Damiani, editors,
Types '03, volume 3085 of LNCS, pages 17-33 Springer-Verlag, 2004
Conditions on type preorders are provided in order
to characterize the induced filter models for the
lambda-calculus and some of its
restrictions. Besides, two examples are given of
filter models in which not all the continuous
functions are representable.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43