Infinite intersection types

Information and Computation

Volumn 186, Issue 2, 2003, Pages 285-318

  Bonsangue, Marcello M ^a   Kok, Joost N ^a  

^a LEIDEN UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; SET THEORY;

ASSIGNMENT SYSTEM;

INFORMATION SCIENCE;

EID: 0142058271     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0890-5401(03)00143-3     Document Type: Conference Paper

References (23)

1. S. Abramsky, Domain theory and the logic of observable properties, Ph.D. Thesis, Queen Mary College, University of London, 1987.
2. S. Abramsky, The lazy lambda calculus, Research Topics in Functional Programming, Addison-Wesley, Reading, MA, 1990, pp. 65-117.
3. S. Abramsky, Domain theory in logical form, Annals of Pure and Applied Logic 51 (1) (1991) 1-77.
4. S. Abramsky, A. Jung, Domain theory, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, Semantic Structures, vol. IIII, Clarendon Press, Oxford, 1994.
5. F. Barbanera, M. Dezani-Ciancaglini, Intersection and union types, in: Proceedings of TACS'91, Lecture Notes in Computer Science, vol. 526, Springer, Berlin, 1991, pp. 651-674.
6. F. Barbanera, M. Dezani-Ciancaglini, U. dé Liguoro, Intersection and union types: syntax and semantics, Information and Computation 119 (1995) 202-230.
7. H. Barendregt, The Lambda Calculus: Its Syntax and Semantics, North-Holland, Amsterdam, 1984.
8. H. Barendregt, M. Coppo, M. Dezani-Ciancaglini, A filter lambda model and the completeness of type assignment, Journal of Symbolic Logic 48 (4) (1983) 931-940.
9. M.M. Bonsangue, in: Topological Dualities in Semantics, Electronic Notes in Theoretical Computer Science, vol. 8, Elsevier, Amsterdam, 1997.
10. M.M. Bonsangue, B. Jacobs, J.N. Kok, Duality beyond sober spaces: topological spaces and observation frames, Theoretical Computer Science 151 (1) (1995) 79-124.
11. M.M. Bonsangue, J.N. Kok, Towards an infinitary logic of domains: Abramsky logic for transition systems, Information and Computation 155 (1999) 170-201.
12. L. Cardelli, P. Wegner, On understanding types, data abstraction and polymorphism, Computing Surveys 17 (4) (1985) 471-522.
13. M. Coppo, M. Dezani-Ciancaglini, A new type-assignment for λ-term, Archiv. Math. Logik, 19, 1978, pp. 139-156.
14. M. Dezani-Ciancaglini, F. Honsell, Y. Motohama, Compositional characterizations of X-terms using intersection types, in: Proceedings of MFCS 2000, Lecture Notes in Computer Science, vol. 1893, Springer, Berlin, 2000, pp. 304-313.
15. K.H. Hofmann, M.W. Mislove, Local compactness and continuous lattices, in: Continuous lattices - Proceedings Bremen 1979, Lecture Notes in Mathematics, vol. 871, Springer, Berlin 1981, pp. 209-248.
16. P.T. Johnstone, Stone Spaces, Cambridge University Press, Cambridge, 1982.
17. D. Leivant, Discrete polymorphism, in: Proceedings of 1990 ACM Conference of LISP and Functional Programming, pp. 288-297.
18. B.C. Pierce, Programming with intersection types, union types, and polymorphism, Technical Report CMU-CS-91-106, Carnegie Mellon University, 1991.
19. G. Pottinger, A type assignment for the strongly normalizable X-term, in: H.B. Curry (Ed.), Essays on Combinatory Logic, Lambda Calculus, and Formalism, Academic Press, New York, 1980, pp. 561-577.
20. G.D. Plotkin, Post-graduate Lecture Notes in Advanced Domain Theory (incorporating the 'Pisa notes'), Department of Computer Science, University of Edinburgh, 1981.
21. G. Raney, Completely distributive complete lattices, in: Proceedings of the American Mathematical Society, Menasha, WI, and Providence, RI, vol. 3(4), 1952, pp. 677-680.
22. E. Schröder, in: E.G. Teubner (Ed.), Vorlesunger über die Algebra der Logik, volume I, Leipzig, 1890 (republished in 1966 by Chelsea Publishing Co., New York).
23. D.S. Scott, Domains for denotational semantics, in: M. Nielsen, E.M. Schmidt (Eds.), 9th International Colloquium on Automata, Languages and Programming; Aarhus, Denmark, Lecture Notes in Computer Science, vol.140, Springer, Berlin, 1982, pp. 577-613.