#5 Colin Lupton on Quantum Lambda Calculus


Colin Lupton (https://twitter.com/thephoeron) will be presenting the paper Quantum Lambda Calculus (http://www.mathstat.dal.ca/~selinger/papers/qlambdabook.pdf) by Peter Selinger.


We will discuss the design of a typed lambda calculus for quantum computation. After a brief discussion of the role of higher-order functions in quantum information theory, we define the quantum lambda calculus and its operational semantics. Safety invariants, such as the no-cloning property, are enforced by a static type system that is based on intuitionistic linear logic. We will also describe a type inference algorithm, and a categorical semantics.

Doors open at 6:30 pm, presentation will begin at 7:00 pm. There will be food and refreshments provided by Shopify.


Colin (https://twitter.com/thephoeron) is the CTO and Lead Dev of Catapult Labs (http://catapult-app.com (http://catapult-app.com/)) and lead author of Learn Lisp The Hard Way ( http://learnlispthehardway.org/ ). He has a particular penchant for Common Lisp, Quantum Computing, and M-Theory.