Ġenera verżjoni aktar kumplessa ta " din is-sentenza Luca Cardelli u Peter Wegner estendew il-kunċett f' artiklu tal-1985.
Naturalment, verżjoni aktar kumplessa tas-sentenza hija "Luca Cardelli u Peter Wegner estendew il-kunċett f'artiklu tal-1985 billi introduċew il-kunċett ta '"polimorfiżmu ta' inklużjoni" biex jimmudellaw is-sottotipji u l-wirt. "