283
edits
Pipe-calculus: Difference between revisions
no edit summary
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
Pipe-calculus is a core | Pipe-calculus is a model of computation that is closely related to [[wikipedia:process_calculus|process calculus]], [[wikipedia:lambda_calculus|lambda calculus]] and formal language theory. | ||
It is intended as a core language for (possibly [[ideas_for_a_type_system|typed]]) programming languages. | |||
<div style="background-color: #f4f4f4; border: 1px solid #e8e8e8; padding: 0.3em 0.7em 0.3em 0.7em;"> | <div style="background-color: #f4f4f4; border: 1px solid #e8e8e8; padding: 0.3em 0.7em 0.3em 0.7em;"> | ||