My understanding of subtype theory....

Printable View