DMCA

Linear logic for generalized quantum mechanics (1993)

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