283
edits
Pipe-calculus: Difference between revisions
→Connection to other fields
KalmanKeri (talk | contribs) (→Syntax) |
KalmanKeri (talk | contribs) |
||
| Line 39: | Line 39: | ||
Pipe-calculus is examined primarily as a process calculus. Although it significantly differs from typical process calculi, it lends itself to this style of presentation. | Pipe-calculus is examined primarily as a process calculus. Although it significantly differs from typical process calculi, it lends itself to this style of presentation. | ||
Its development is also inspired by logic programming, formal grammars, automata theory, type theory (up to the lambda-cube) and algebraic effects. | Its development is also inspired by higher-order logic programming, formal grammars, automata theory, type theory (up to the lambda-cube) and algebraic effects. | ||
In certain cases the connection can be made more precise. | In certain cases the connection can be made more precise. | ||