Download:
by F. Alessi, F. Barbanera, M. Dezani-ciancaglini
TYPES’03, volume 3085 of LNCS
http://www.di.unito.it/~dezani/papers/abd.pdf
Add To MetaCart
Abstract:
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 examples are given of filter models in which not all the continuous functions are representable. 1.
Citations
|
292
|
A Compendium of Continuous Lattices
– Gierz, Hofmann, et al.
- 1980
|
|
188
|
A filter lambda model and the completeness of type assignment
– Barendregt, Coppo, et al.
- 1983
|
|
120
|
Full abstraction in the lazy lambda calculus
– Abramsky, Ong
- 1993
|
|
53
|
spaces
– Stone
- 1982
|
|
43
|
What is a Model of the Lambda Calculus
– Meyer
- 1982
|
|
41
|
Combinatory Logic, Volume I
– Curry, Feys
- 1958
|
|
35
|
Lambda-calculus models and extensionality
– Hindley, Longo
- 1980
|
|
34
|
Functional Character of Solvable Terms
– Coppo, Dezani-Ciancaglini, et al.
- 1981
|
|
33
|
Set-theoretical and other elementary models of the λ-calculus
– Plotkin
- 1993
|
|
27
|
From computation to foundations via functions and application: The λ-calculus and its webbed models
– Berline
- 2000
|
|
14
|
Call-by-name, call-by-value and the λ-calculus. Theoretical Computer Science 1(2):125–159
– Plotkin
- 1975
|
|
12
|
Type theories, normal forms, and D∞-lambda-models
– Coppo, Dezani-Ciancaglini, et al.
- 1987
|
|
8
|
Open problem
– Scott
- 1975
|
|
6
|
Semantical analysis of perpetual strategies in λcalculus. Theoret
– Honsell, Lenisa
- 1999
|
|
5
|
Intersection types and domain operators
– Alessi, Dezani-Ciancaglini, et al.
- 2004
|
|
4
|
and Mariangiola Dezani-Ciancaglini. Intersection and union types
– Barbanera
- 1991
|
|
4
|
Mariangiola Dezani-Ciancaglini, and Furio Honsell. Applicative information system and D1-models
– Coppo
- 1988
|
|
4
|
Behavioural inverse limit models
– Dezani-Ciancaglini, Ghilezan, et al.
- 2003
|
|
2
|
Mariangiola Dezani-Ciancaglini, and Furio Honsell. A complete characterization of complete intersection-type preorders
– Alessi
|
|
2
|
Furio Honsell, and Yoko Motohama. Compositional characterization of λ-terms using intersection types. Theoret
– Dezani-Ciancaglini
- 2004
|
|
2
|
Furio Honsell, and Simona Ronchi Della Rocca. Operational, denotational and logical descriptions: A case study
– Egidi
- 1992
|
|
1
|
The category p-sfp. Internal Report n. 27/96/RR, Dipartimento di Matematica e Informatica
– Alessi
- 1996
|
