Les travaux de Liskov dans ce domaine se sont concentrés sur le sous-typage comportemental qui, outre la sécurité du système de types discuté dans cet article, exige également que les sous-types préservent tous les invariants garantis par les supertypes dans certains contrats. [3] Cette définition du sous-typage est généralement indécidable, elle ne peut donc pas être vérifiée par un vérificateur de type.