Subtyping + extensionality: con of in f (1991)

by P-L Curien, G Ghelli
Venue:In Theoretical Aspects of Computer Software