It will be made available formatted for printing as compressed Postscript and DVI.
The WWW version provides only a rough approximation (mostly generated automatically by Hyperlatex) to the symbols used in the formatted versions. Please inform pdmosses@brics.dk about any places where a better approximation could be made!
N.B. All Study Notes are TENTATIVE first versions, unless explicitly marked otherwise.
This CFI Language Design Study Note contains two patterns Existential, Strong and Strict Equality and Two-Valued vs. Three-Valued Logic which are related to the problem of chosing the right logic for partial operations in specifications.
Patterns have not been qualified by asterisks yet.