283
edits
Pipe-calculus: Difference between revisions
→Connection to other fields
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 43: | Line 43: | ||
[[Wikipedia:Formal_grammar|formal grammars]], | [[Wikipedia:Formal_grammar|formal grammars]], | ||
[[Wikipedia:Automata_theory|automata theory]], | [[Wikipedia:Automata_theory|automata theory]], | ||
type theory (up to the [[Wikipedia:Lambda_cube|lambda-cube]]) and | [[Wikipedia:Type_theory|type theory]] (up to the [[Wikipedia:Lambda_cube|lambda-cube]]) and | ||
[[Wikipedia:Effect_system|algebraic effects]] | [[Wikipedia:Effect_system|algebraic effects]] | ||
<ref> | <ref> | ||