BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Linear Logic and Quantum Programming - Marc de Visme
DTSTART:20190508T100000Z
DTEND:20190508T110000Z
UID:TALK124714@talks.cam.ac.uk
CONTACT:Nathanael Arkor
DESCRIPTION:More than a logic used for reasoning and proofs\, linear logic
  is a very \npractical tool to design type systems. Taking as a working ex
 ample the \ndesign of the quantum lambda calculus\, we will introduce\, ex
 plain and \nmotivate the different constructors of linear logic. Lastly\, 
 we will \nexamine in more details the Curry-Howard correspondence between 
 proofs \nand programs.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR