Liskovs Arbeit in diesem Bereich konzentrierte sich auf die Subtypisierung des Verhaltens, die neben der in diesem Artikel erörterten Sicherheit des Typsystems auch verlangt, dass die Subtypen alle Invarianten bewahren, die in einigen Verträgen durch die Supertypen garantiert werden. [3] Diese Definition der Untertypisierung ist im Allgemeinen nicht entscheidbar und kann daher nicht von einer Typprüfung überprüft werden.