… [3] on which we base our model subtyping relations. Finally, we … subtyping relations between
model types, based on two criteria: the presence of heterogeneities between the two model …

… our subtyping system is such that the upper bound … section, we apply our refined
subtyping … to show how this model of objects can be simplified …

… in an untyped denotational model. In this work we show how to define a subtyping relation
… Our approach is to “bootstrap” the subtyping relation through a notion of set-theoretic model …

… subtype relation, each of which meets this criterion, and each of which is easy for programmers
to use. The subtype relation is based on … it convenient to define the subtype relation. The …

… -model semantics for a typed A-calculus with subtypes and … The calculus may be seen as
a minimal calculus of subtyping … a subtyping rule that says that a singleton type is a subtype …

… the validity of subtyping of gamblers based on the Pathways Model of problem gambling. The
… review is whether or not subtyping of gamblers based on the Pathways Model is valid. This …

… This review evaluates the existing literature on the subtyping of PGs based on
psychopathology, personality, and/or motivation for gambling. We conclude that three PG …

… We do not regard matching as a replacement for subtyping, but rather as a complement
to subtyping. … In this section, the target language is based on F-bounded subtyping. …

… structural subtyping can be defined on record types: two record types are in a subtyping relation
if … In this paper we concentrate on examples involving dependent types and power types. …

… of isolates causing human disease with the distribution of these subtypes in … subtyping
source attribution relies on subtyping laboratory methods to identify overlaps between subtypes …