G.Ghelli: Coherence of subsumption (0)

by P-L Curien
Venue:Mathematical Structures in Computer Science