283
edits
Pipe-calculus: Difference between revisions
→Zero-order calculus
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 67: | Line 67: | ||
In the '''higher-order''' calculus there are lexically scoped variables that can bind arbitrary terms. Intermediate variants can be constructed by extending the basic calculus e.g. with recursion or a stack. Determining the computational power of specific variants of the calculus is of interest. | In the '''higher-order''' calculus there are lexically scoped variables that can bind arbitrary terms. Intermediate variants can be constructed by extending the basic calculus e.g. with recursion or a stack. Determining the computational power of specific variants of the calculus is of interest. | ||
== Zero-order calculus == | == Informal description == | ||
=== Zero-order calculus === | |||
<math> | <math> | ||