Structured Operational Semantics of a Fragment of the Language Scheme

Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca. Structured Operational Semantics of a Fragment of the Language Scheme. Journal of Functional Programming, 8(4):335-365, 1998.

Abstract

Abstract is missing.