Skip to content

Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.

Frdric Prost, Chaouki Zerrari

VenueCUC
Year2009
ProceedingsUC

Browse the full UC paper archive.