BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Coherence Spaces - Hugo Paquet (University of Cambridge)
DTSTART:20170203T110000Z
DTEND:20170203T120000Z
UID:TALK70923@talks.cam.ac.uk
CONTACT:Ian Orton
DESCRIPTION:Coherence spaces are a model of the lambda-calculus which was 
 very influential\, eventually leading to the discovery of linear logic. In
  this talk I will define the category of coherence spaces and stable funct
 ions between them\, and show how it can be used to interpret e.g. PCF. In 
 the process I will mention how it relates to the usual domain theory. Then
  I will talk about a special kind of stable functions between coherence sp
 aces\, the linear functions. Using these we can refine the category of coh
 erence spaces and stable functions\, to get one the first models of linear
  logic.\n\nIf time permits\, I'll talk about a generalisation of coherence
  spaces to a model of probabilistic computation: these turn out to give a 
 fully abstract model for Probabilistic PCF.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR