Certified Derivation of Small-Step From Big-Step Skeletal Semantics.

Guillaume Ambal, Sergue Lenglet, Alan Schmitt, Camille Nos

Browse the full PPDP paper archive.