BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:The Scott model of Linear Logic is the extensional collapse of its
  relational model - Thomas Ehrhard\, Université Paris Diderot
DTSTART:20100520T090000Z
DTEND:20100520T100000Z
UID:TALK24964@talks.cam.ac.uk
CONTACT:Nathan Bowler
DESCRIPTION:We show that the extensional collapse of the relational model 
 of linear\nlogic\nis the model of prime-algebraic complete lattices\, a na
 tural extension to\nlinear logic of the well known Scott semantics of the 
 lambda-calculus.\n
LOCATION:MR4\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR