Coherence of subsumption (1990)

by P Curien, G Ghelli
Venue:Proc. 15th Coll. on Trees in Algebra and Programming