Introduction to logics as type theories for quantum processes
APA
Abramsky, S. (2005). Introduction to logics as type theories for quantum processes. Perimeter Institute. https://pirsa.org/05070099
MLA
Abramsky, Samson. Introduction to logics as type theories for quantum processes. Perimeter Institute, Jul. 19, 2005, https://pirsa.org/05070099
BibTex
@misc{ pirsa_PIRSA:05070099, doi = {10.48660/05070099}, url = {https://pirsa.org/05070099}, author = {Abramsky, Samson}, keywords = {}, language = {en}, title = {Introduction to logics as type theories for quantum processes}, publisher = {Perimeter Institute}, year = {2005}, month = {jul}, note = {PIRSA:05070099 see, \url{https://pirsa.org}} }
University of Oxford
Talk Type