Content deleted Content added
→Reduction semantics: Incorrect parenthesis for abstraction application |
m Parenthesis error in the second reduction semantics paragraph |
||
Line 96:
The contexts <math>C</math> include a hole <math>\left[\,\right]</math> where a term can be plugged in.
The shape of the contexts indicate where reduction can occur (i.e., a term can be plugged into
To describe a semantics for this language, axioms or reduction rules are provided:
| |||