Generere en mere kompleks version af denne sætning Luca Cardelli og Peter Wegner udvidede konceptet i en 1985 papir.
Selvfølgelig er en mere kompleks version af sætningen "Luca Cardelli og Peter Wegner udvidede konceptet i en 1985 papir ved at indføre begrebet''inklusion polymorphism' 'til at modellere subtyper og arv. "