V. Pratt

Linear Logic For Generalized Quantum Mechanics

V. Pratt, V. Pratt, 1992, Workshop on Physics and Computation.

7. Conclusion 3. Our Data Structure at Time I 2. Basic Data Structures

D. Knuth, R. Sleator, V. Pratt, 1993 .