Liskov's work in this area focused on behavioral subtyping, which besides the type system safety discussed in this article also requires that subtypes preserve all invariants guaranteed by the supertypes in some contract.
Το έργο της Liskov σε αυτόν τον τομέα επικεντρώθηκε στην συμπεριφορική σχέση υποτύπου, η οποία, εκτός από την ασφάλεια του συστήματος τύπου που συζητείται σε αυτό το άρθρο, απαιτεί επίσης ότι οι υπότυποι διατηρούν όλες τις αναλλοίωτες που διασφαλίζονται από τους υπερτύπους σε κάποια συμβόλαια.