*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 Vaughn Pratt

*The most promising transformational logic seems to us to be Girard’s linear logic.*

— from **Rational Mechanics and Natural Mathematics** by Vaughn Pratt

- 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]

<>