283
edits
Pipe-calculus: Difference between revisions
no edit summary
KalmanKeri (talk | contribs) (Created page with "Pipe-calculus is a core calculus for programming.") |
KalmanKeri (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
Pipe-calculus is a core calculus for programming. | Pipe-calculus is a core calculus for programming. | ||
== Syntax == | |||
=== Atoms and literals === | |||
Atoms and literals are the most basic building blocks. | |||
<math> \mbox{Atoms}~ A, B ::= \mathsf{Foo} ~|~ \mathsf{Bar}</math> | |||
<math> \mbox{Literals}~ l, m ::= A ~|~ \neg A </math> | |||
Literals are atoms with ''polarity''. | |||
We say that a literal of the form <math>A</math> is ''positive'', while <math>\neg A</math> is ''negative''. | |||
See [https://en.m.wikipedia.org/wiki/Literal_(mathematical_logic) Literal (mathematical_logic)] for more information. | |||