Representing and Reasoning with Operational Semantics.

Dale Miller

Browse the full CADE paper archive.