Intersection and union types

This publication has 12 references indexed in Scilit:

• Domain theory in logical form*
  Annals of Pure and Applied Logic, 1991
• Discrete polymorphism
  Published by Association for Computing Machinery (ACM) ,1990
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• The completeness theorem for typing λ-terms
  Theoretical Computer Science, 1983
• A filter lambda model and the completeness of type assignment
  The Journal of Symbolic Logic, 1983
• Coppo-Dezani types do not correspond to propositional logic
  Theoretical Computer Science, 1983
• What is a model of the lambda calculus?
  Information and Control, 1982
• Functional Characters of Solvable Terms
  Mathematical Logic Quarterly, 1981
• A completeness theorem in modal logic
  The Journal of Symbolic Logic, 1959