Pipe-calculus: Difference between revisions
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. | |||
Revision as of 20:49, 3 February 2023
Pipe-calculus is a core calculus for programming.
Syntax
Atoms and literals
Atoms and literals are the most basic building blocks.
[math]\displaystyle{ \mbox{Atoms}~ A, B ::= \mathsf{Foo} ~|~ \mathsf{Bar} }[/math]
[math]\displaystyle{ \mbox{Literals}~ l, m ::= A ~|~ \neg A }[/math]
Literals are atoms with polarity. We say that a literal of the form [math]\displaystyle{ A }[/math] is positive, while [math]\displaystyle{ \neg A }[/math] is negative. See Literal (mathematical_logic) for more information.