Frederick’s Reviews > Information Flow: The Logic of Distributed Systems > Status Update
Frederick
is on page 91 of 292
Invariants on p84 are defined with a Relation R that does not have to be and equivalence class (just take the Reflx-Sy-Tr closure if you need one). But dual invariants on p 87 are defined on R-equiv classes of types. Why?
— Nov 28, 2013 07:52PM
Like flag
