BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:MELL in a free compact closure - Etienne Duchesne\, LIPN\, Univers
 ité Paris 13
DTSTART:20120518T130000Z
DTEND:20120518T140000Z
UID:TALK38036@talks.cam.ac.uk
CONTACT:Bjarki Holm
DESCRIPTION:The categorical presentation of the standard model of the geom
 etry of interaction --namely the free compact closure of sets and partial 
 injections-- fails to be a denotational semantics of MELL. The work of Mel
 liès\, Tabareau & Tasson on the formula for a free exponential modality g
 ives us insights into the reasons of this failure: absence of free pointed
  objects\, absence of equalizers of some groups of permutations...\nWe wil
 l present generic constructions which add the algebraic structure needed t
 o compute this formula\, and show that the free compact closure of stable 
 domains wrapped in these successive layers defines a denotational semantic
 s of MELL.
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR