Linear logic for generalized quantum mechanics (1992)

by V Pratt
Venue:in Proc. of Workshop on Physics and Computation (PhysComp’92), IEEE