283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 84: | Line 84: | ||
& \mbox{Variables}~ & v, w \rule & \mathsf{v} \mid \mathsf{w} \mid ... \\ | & \mbox{Variables}~ & v, w \rule & \mathsf{v} \mid \mathsf{w} \mid ... \\ | ||
& \mbox{Terms}~ & s, t | & \mbox{Terms}~ & s, t \rule & ~ | ||
\show a \seq s \mid \match a \seq s | \show a \seq s \mid \match a \seq s | ||
\mid \mathsf{v} | \mid \mathsf{v} | ||