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. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/978-3-540-24849-1_2 | TYPES FOR PROOFS AND PROGRAMS |
Field | DocType | Volume |
Continuous function,Lambda calculus,Computer science,Algorithm,Type theory,Step function | Conference | 3085 |
ISSN | Citations | PageRank |
0077-8923 | 1 | 0.37 |
References | Authors | |
16 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fabio Alessi | 1 | 83 | 12.04 |
Franco Barbanera | 2 | 357 | 35.14 |
Mariangiola Dezani-Ciancaglini | 3 | 1615 | 193.57 |