Linear logic for generalized quantum mechanics (1993)

by Vaughan Pratt
Venue:In Proc. Workshop on Physics and Computation (PhysComp'92
Citations:16 - 2 self