The reduction of Minimal Recursion SemanticsΒΆ

Please refer to Minimal Recursion Semantics An Introduction.