Soundness Conditions for Big-Step Semantics.

Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini

Browse the full ESOP paper archive.