University of Bath / Vanier College / University of Ottawa / McGill University / /
IndustryTerm
tensor product / dynamical law / proof systems / quantum systems / teleportation protocol / classical device / deep-inference proof systems / /
OperatingSystem
Sequent / /
Organization
School of Computer Science / Department of Mathematics / University of Ottawa / McGill University / University of Bath / Department of Computer Science / Vanier College / Department of Mathematics and Statistics / Ecole Polytechnique Dedicated / /
A logical basis for quantum evolution and entanglement Richard F. Blute1 , Alessio Guglielmi2 , Ivan T. Ivanov3 , Prakash Panangaden4 , and Lutz Straßburger5 1