A theory of computation based on quantum logic (I) | IEEE Conference Publication | IEEE Xplore