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

Orthogonality and Algebraic Lambda-Calculus

Benoit Valiron, University Joseph Fourier, Grenoble
Quantum Physics and Logic 2010, May 2010, University of Oxford

Directly encoding lambda-terms on quantum strings while keeping a quantum interpretation is a hard task. As shown by van Tonder, requiring a unitary reduction forces the lambda-terms in superposition to be mostly equivalent. Instead, we show in this note how one can conceive a lambda-calculus with algebraic features and that admits a general notion of orthogonality among lambda-terms, by providing a compiler of the system into unitary maps.

[video] [streaming video]