The states of a computing system bear information and change time, while its events bear time and change information.
— from The Duality of Time and Information by Vaughan Pratt
The most promising transformational logic seems to us to be Girard’s linear logic.
— from Rational Mechanics and Natural Mathematics by Vaughan Pratt
Here we have three duals: information – time, state – event, and bear – change.
Vaughan Pratt / The Duality of Time and Information http://boole.stanford.edu/pub/dti.pdf
Vaughan Pratt / Time and Information in Sequential and Concurrent Computation http://boole.stanford.edu/pub/tppp.pdf
Vaughan Pratt / Rational Mechanics and Natural Mathematics http://chu.stanford.edu/guide.html#ratmech
[*5.170]
<>
2 thoughts on “The Duality of Time and Information, V2”