Coherence of subsumption, minimum typing and the type checking (1992)

by P L Curien, G Ghelli
Venue:in F≤. Mathematical Structures in Computer Science