283
edits
Pipe-calculus: Difference between revisions
→Syntax
KalmanKeri (talk | contribs) Tags: Mobile edit Mobile web edit |
KalmanKeri (talk | contribs) (→Syntax) |
||
| Line 77: | Line 77: | ||
</math> | </math> | ||
'''Atoms''' are unscoped symbols. We assume a | '''Atoms''' are unscoped symbols. We assume a countably infinite set of atoms that is disjunct from the set of constants (operators and constant symbols). | ||
'''Literals''' are atoms with '''polarity'''. | '''Literals''' are atoms with '''polarity'''. | ||