BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:PCF: keeping it real - Hugo Paquet (University of Cambridge)
DTSTART:20160422T101500Z
DTEND:20160422T111500Z
UID:TALK65944@talks.cam.ac.uk
CONTACT:Ian Orton
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 type: 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 th
 e denotational semantics of the language. The domain of "partial real numb
 ers"\, which I'll introduce\, has nice mathematical properties and suggest
 s a solution for giving syntax and operational semantics to Real PCF.\n\nT
 his is mostly work by Martin Escardo - I'll start with the necessary notio
 ns on domain theory and PCF. 
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR