BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic &amp\; Semantics for Dummies
SUMMARY:Linear Logic and Quantum Programming - Marc de Vis
 me
DTSTART;TZID=Europe/London:20190508T110000
DTEND;TZID=Europe/London:20190508T120000
UID:TALK124714AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/124714
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 example the \nde
 sign of the quantum lambda calculus\, we will intr
 oduce\, explain and \nmotivate the different const
 ructors of linear logic. Lastly\, we will \nexamin
 e in more details the Curry-Howard correspondence 
 between proofs \nand programs.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
CONTACT:Nathanael Arkor
END:VEVENT
END:VCALENDAR