283
edits
Pipe-calculus: Difference between revisions
→Normal form
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 198: | Line 198: | ||
=== Normal form === | === Normal form === | ||
Normal form of pipe-calculus terms is defined by a term rewriting system | Normal form of pipe-calculus terms is defined by a term rewriting system<ref name="Fokkink"/>. A term is in normal form if no rewrite rule applies to it. | ||
<math> | <math> | ||