Dagger linear logic for categorical quantum mechanics

From MaRDI portal

Publication:6306122

Jump to:navigation, search

arXiv1809.00275MaRDI QIDQ6306122

Cole Comfort, Priyaa Varshinee Srinivasan, J. Robin B. Cockett

Publication date: 1 September 2018

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

This page was built for publication: Dagger linear logic for categorical quantum mechanics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6306122&oldid=35887310"