University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Oxford Quantum Talks Archive

Confluence results for a quantum lambda calculus with measurements

Ugo Dal Lago, University of Bologna
Quantum Physics and Logic 2009, April 2009, Oxford University Computing Laboratory

[video] [streaming video]