BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An Invitation to Nominal Domain Theory - Andrew Pitts\, Computer L
 ab
DTSTART:20081020T114500Z
DTEND:20081020T130000Z
UID:TALK14769@talks.cam.ac.uk
CONTACT:Matthew Parkinson
DESCRIPTION:The category of nominal sets provides a mathematical model of 
 names and binding based on simple\, but subtle ideas to do with permutatio
 ns of names and "finitely supported" mathematical objects that first arose
  in mathematical logic in the 1930s. Its use underlies a number of recent 
 works on names and binding in computational logic\, automated reasoning\, 
 programming language design and operational semantics. Relatively little u
 se has been made of it for denotational semantics. Yet the key notion of f
 inite support provides a syntax-independent model of "free occurrence of n
 ames" that really comes into its own when considering the kind of infinite
  mathematical objects that arise in semantics rather than syntax. So this 
 talk will explain what is known so far about "doing domain theory in the c
 ategory of nominal sets"\, in the hope that some of the audience will be a
 ttracted to do some more.
LOCATION:FW26
END:VEVENT
END:VCALENDAR