BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY: Weighted relational semantics for PCF  - Hugo Paquet (University 
 of Cambridge)
DTSTART:20171013T100000Z
DTEND:20171013T110000Z
UID:TALK93826@talks.cam.ac.uk
CONTACT:Ian Orton
DESCRIPTION:I will start with the category of sets and relations\, and sho
 w how from it we can derive a model for the functional language PCF.\nI wi
 ll then present a generalised version of the model where morphisms carry w
 eights. In this new category we can give semantics to extensions of PCF wi
 th various additional features\, for example probabilistic or non-determin
 istic primitives.\n\nIt will be helpful to know some category theory and b
 e familiar with basic operational semantics of programming languages. 
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR