Labelled Reductions, Runtime Errors and Operational Subsumption.

Laurent Dami

Browse the full ICALP paper archive.