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