283
edits
Pipe-calculus: Difference between revisions
→Connection to other fields
KalmanKeri (talk | contribs) |
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 higher-order logic programming, formal grammars, automata theory, type theory (up to the lambda-cube) and algebraic effects. | Its development is also inspired by | ||
[[Wikipedia:Higher-order_logic_programming|higher-order logic programming]], | |||
[[Wikipedia:Formal_grammar|formal grammars]], | |||
[[Wikipedia:Automata_theory|automata theory]], | |||
type theory (up to the [[Wikipedia:Lambda_cube|lambda-cube]]) and algebraic effects | |||
<ref> | |||
Matija Pretnar: [https://www.eff-lang.org/handlers-tutorial.pdf An Introduction to | |||
Algebraic Effects and Handlers] | |||
</ref> | |||
. | |||
In certain cases the connection can be made more precise. | In certain cases the connection can be made more precise. | ||