Active Bibliography

30 The Stone gamut: A coordinatization of mathematics – Vaughan R. Pratt - 1995
6 *-Autonomous Categories: Once More Around The Track – Michael Barr - 1999
5 Time and Information in Sequential and Concurrent Computation – Vaughan Pratt - 1994
1 Dialectica and Chu Constructions: Cousins? – Valeria De Paiva - 2006
12 Chu Spaces as a Semantic Bridge Between Linear Logic and Mathematics – Vaughan Pratt - 1998
2 Types as Processes, via Chu spaces – Vaughan Pratt - 1997
9 The Separated Extensional Chu Category – Michael Barr, Transmitted Robert Rosebrugh - 1998
14 Higher Dimensional Automata Revisited – Vaughan Pratt - 2000
5 Chu I: cofree equivalences, dualities and *-autonomous categories – Dusko Pavlovic - 1993
8 Chu Spaces From the Representational Viewpoint – Vaughan Pratt - 1998
53 A Brief Guide to Linear Logic – Andre Scedrov - 1993
9 Chu spaces: Complementarity and Uncertainty in Rational Mechanics – Vaughan Pratt - 1994
21 Chu spaces and their interpretation as concurrent objects – Vaughan Pratt - 2005
8 Chu Spaces: Automata with quantum aspects – Vaughan R. Pratt - 1994
11 First Order Linear Logic in Symmetric Monoidal Closed Categories – Simon John Ambler - 1991
3 Broadening the Denotational Semantics of Linear Logic – Vaughan Pratt - 1996
41 Applications of Linear Logic to Computation: An Overview – Vladimir Alexiev - 1993
22 Full completeness of the multiplicative linear logic of chu spaces – Harish Devarajan, Dominic Hughes, Gordon Plotkin, Vaughan Pratt - 1999
1 A Logical Treatment of Constructive Duality – Anna Patterson - 1997