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 &\; Semantics for Dummies
SUMMARY:PCF: keeping it real - Hugo Paquet (University of
Cambridge)
DTSTART;TZID=Europe/London:20160422T111500
DTEND;TZID=Europe/London:20160422T121500
UID:TALK65944AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/65944
DESCRIPTION:This talk is about Real PCF\, an extension of the
language PCF with real numbers. Adding a type for
real numbers is not like adding any other ground t
ype: the real line is not computable\, so we can't
just add a constant for every real number.\n\nIt
is helpful to first think about the denotational s
emantics of the language. The domain of "partial r
eal numbers"\, which I'll introduce\, has nice mat
hematical properties and suggests a solution for g
iving syntax and operational semantics to Real PCF
.\n\nThis is mostly work by Martin Escardo - I'll
start with the necessary notions on domain theory
and PCF.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
CONTACT:Ian Orton
END:VEVENT
END:VCALENDAR