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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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 Arkor.

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.

Other lists

Cambridge Biomedical Research Centre "Distinguished Visitors" 2017 Lecture Series Vision Science Journal Club bioengineering

Other talks

Babraham Distinguished Lecture - Understanding cellular dynamics in mammalian skin Characterising explosive blast loading for structural engineering, protection and blast injury sciences Co-infections by non-interacting pathogens are not independent: deriving new tests of interaction Is there a Lack of Incentives to Invest in Energy Efficient Buildings? Testing Gravity with Gravitational Waves Reconfigurable surfaces with controlled stretching and shearing: from biological templates to engineering devices
 

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