Revision as of 21:18, 30 October 2017 edit Nwbeeson (talk \| contribs) Extended confirmed users 11,284 edits m copy edit of reference ← Previous edit		Revision as of 14:35, 14 December 2017 edit undo 134.157.22.143 (talk) →Reduction semantics: Incorrect parenthesis for abstraction application Next edit →
Line 100: <math> (\lambda x.e)\; v) \longrightarrow e\,\left[x / v\right] \quad (\mathrm{\beta}) </math>

Operational semantics: Difference between revisions