2026 Reading Challenge

Status Updates From Information Flow: The Logic...

Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 44) Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 44)
by


Status Updates Showing 1-1 of 1

order by

Frederick
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 Add a comment
Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science, Series Number 44)