BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An Invitation to Synthetic Domain Theory - Jon Sterling (Universit
 y of Cambridge)
DTSTART:20250602T090000Z
DTEND:20250602T100000Z
UID:TALK232939@talks.cam.ac.uk
CONTACT:Dr Meven Lennon-Bertrand
DESCRIPTION:Domain theory offers a denotational semantics for general recu
 rsive functional programming\, but working directly with domains and their
  continuity laws can be a bit technical\; it is also not easy to find a si
 ngle notion of "domain" that is good for most purposes. Synthetic methods 
 can simplify the use of domain theory by recasting domains as special type
 s in an alternate reality where all functions are automatically as continu
 ous as possible. We will see how to formulate domains and general recursio
 n in the synthetic setting by extending Homotopy Type Theory with a bounde
 d distributive lattice of observations satisfying a few additional laws. 
LOCATION:FW26\, Computer Laboratory
END:VEVENT
END:VCALENDAR