University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Linear Logic and Quantum Programming

Linear Logic and Quantum Programming

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Nathanael Alcock.

More than a logic used for reasoning and proofs, linear logic is a very practical tool to design type systems. Taking as a working example the design of the quantum lambda calculus, we will introduce, explain and motivate the different constructors of linear logic. Lastly, we will examine in more details the Curry-Howard correspondence between proofs and programs.

This talk is part of the Logic & Semantics for Dummies series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity