Past Meetup

#5 Colin Lupton on Quantum Lambda Calculus

This Meetup is past

37 people went

Location image of event venue


Colin Lupton ( will be presenting the paper Quantum Lambda Calculus ( 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 ( is the CTO and Lead Dev of Catapult Labs ( ( and lead author of Learn Lisp The Hard Way ( ). He has a particular penchant for Common Lisp, Quantum Computing, and M-Theory.