Conditions on type preorders are provided in order to characterize the induced filter models for the λ-calculus and some of its restrictions. Besides, two examples are given of filter models in which not all the continuous functions are representable. © Springer-Verlag 2004.
CITATION STYLE
Alessi, F., Barbanera, F., & Dezani-Ciancaglini, M. (2004). Tailoring filter models. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3085, 17–33. https://doi.org/10.1007/978-3-540-24849-1_2
Mendeley helps you to discover research relevant for your work.