BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Parameterized algebraic theories and computational effects - Sam S
 taton\, Cambridge
DTSTART:20120214T141500Z
DTEND:20120214T151500Z
UID:TALK35989@talks.cam.ac.uk
CONTACT:Julia Goedecke
DESCRIPTION:I will talk about a class of generalized algebraic theories. A
 bstractly\, they can be understood as algebraic theories enriched in presh
 eaf categories. Concretely\, they have a straightforward syntax and an equ
 ational deduction system.\n\nSeveral people have proposed that "computatio
 nal effects" can be described by algebraic theories. My new examples of ge
 neralized algebraic theories help to confirm this.
LOCATION:MR5\, Centre for Mathematical Sciences
END:VEVENT
END:VCALENDAR