Bounded quantifiers have interval models

This publication has 7 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• The semantics of second-order lambda calculus
  Information and Computation, 1990
• Structural subtyping and the notion of power type
  Published by Association for Computing Machinery (ACM) ,1988
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Types as intervals
  Published by Association for Computing Machinery (ACM) ,1985
• Type inference and type containment
  Published by Springer Nature ,1984