Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

 alesbarbdeza04 (In proceedings) Author(s) Fabio Alessi, Franco Barbanera and Mariangiola Dezani-Ciancaglini Title « Tailoring Filter Models » In Types'03 Series Lecture Notes in Computer Science Editor(s) Stefano Berardi, Mario Coppo and Ferruccio Damiani Volume 3085 Page(s) 17 -- 33 Year 2004 Publisher Springer-Verlag URL http://www.di.unito.it/~dezani/papers/abd.pdf
 Abstract 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.

 BibTeX code

@inproceedings{alesbarbdeza04,
volume = {3085},
author = {Alessi, Fabio and Barbanera, Franco and Dezani-Ciancaglini,
Mariangiola},
series = {Lecture Notes in Computer Science},
booktitle = {Types'03},
editor = {Stefano Berardi and Mario Coppo and Ferruccio Damiani},
url = {http://www.di.unito.it/~dezani/papers/abd.pdf},
title = {{Tailoring Filter Models}},
abstract = { 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.},
publisher = {Springer-Verlag},
year = {2004},
pages = {17 -- 33},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are not included in the list) FRAMES  NO FRAME

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)