PIRSA:05070099

Video URL

https://pirsa.org/05070099

Introduction to logics as type theories for quantum processes

Abramsky, S. (2005). Introduction to logics as type theories for quantum processes. Perimeter Institute for Theoretical Physics. https://pirsa.org/05070099

Abramsky, Samson. Introduction to logics as type theories for quantum processes. Perimeter Institute for Theoretical Physics, Jul. 19, 2005, https://pirsa.org/05070099 

          @misc{ scivideos_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 for Theoretical Physics},
            year = {2005},
            month = {jul},
            note = {PIRSA:05070099 see, \url{https://scivideos.org/index.php/pirsa/05070099}}
          }

Samson Abramsky University of Oxford

Talk numberPIRSA:05070099
DOI10.48660/05070099
Source RepositoryPIRSA
Collection
Talk Type Conference