We'll tend to write <code>(λa M)</code> as just `( \a M )`.
<blockquote>
</blockquote>
We'll tend to write <code>(λa M)</code> as just `( \a M )`.
<blockquote>
-**Application**: `(M N)`
+<strong>Application</strong>: <code>(M N)</code>
</blockquote>
Some authors reserve the term "term" for just variables and abstracts. We won't participate in that convention; we'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms.
</blockquote>
Some authors reserve the term "term" for just variables and abstracts. We won't participate in that convention; we'll probably just say "term" and "expression" indiscriminately for expressions of any of these three forms.