Bounded quantifiers have Interval Models

Abstract

We propose a sound model for an extension of the language Fun, proposed by L. Cardelli and P. Wegner as a formalization of the notion of inheritance in the context of higher order polymorphic functional languages. The model Is obtained by modifying the Interval Model proposed by R. Cartwright, In order to accomodate bounded quantifiers and to obtain a sound structure. Our extension of the language supports also a general recursion operator for functions (but not for types).