6 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Ross Duncan
Just as conventional functional programs may be understood as proofs in an intuitionistic logic, so quantum processes can also be viewed as proofs in a suitable logic. We describe…