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:Coherence Spaces - Hugo Paquet (University of Camb
ridge)
DTSTART;TZID=Europe/London:20170203T110000
DTEND;TZID=Europe/London:20170203T120000
UID:TALK70923AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/70923
DESCRIPTION:Coherence spaces are a model of the lambda-calculu
s which was very influential\, eventually leading
to the discovery of linear logic. In this talk I w
ill define the category of coherence spaces and st
able functions between them\, and show how it can
be used to interpret e.g. PCF. In the process I wi
ll mention how it relates to the usual domain theo
ry. Then I will talk about a special kind of stabl
e functions between coherence spaces\, the linear
functions. Using these we can refine the category
of coherence spaces and stable functions\, to get
one the first models of linear logic.\n\nIf time p
ermits\, I'll talk about a generalisation of coher
ence spaces to a model of probabilistic computatio
n: these turn out to give a fully abstract model f
or Probabilistic PCF.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
CONTACT:Ian Orton
END:VEVENT
END:VCALENDAR