Classical knowledge for quantum cryptographic reasoning Publication Type: Journal Article Authors: Vincent Danos [1]; Ellie D'Hondt [2] Source: Proc. 3rd International Workshop on Development of Computational Models (DCM 2007), Elsevier, Volume 192, Number 3, p.39–58 (2008)