Formal SOS-Proofs for the Lambda-Calculus

Christian Urban, Julien Narboux. Formal SOS-Proofs for the Lambda-Calculus. Electronic Notes in Theoretical Computer Science, 247:139-155, 2009. [doi]

Abstract

Abstract is missing.