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
- States – Events
- Bear – Change
Further Reading:
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]
<>
