BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:On the solution of recursive domain equations - Ohad Kammar (Unive
 rsity of Cambridge)
DTSTART:20150611T130000Z
DTEND:20150611T140000Z
UID:TALK59630@talks.cam.ac.uk
CONTACT:Sean Moss
DESCRIPTION:To give denotational semantics to untyped programming language
 s (e.g.\, the untyped lambda calculus)\, and to recursive datatypes\, sema
 nticists solve recursive domain equations. We will review Freyd's algebrai
 cally\ncompact categories\, where such solutions are guaranteed to exist a
 s fixed-points of (mixed-variance) bifunctors. We will then review a class
  of algebraically compact categories arising through the work of Smyth and
  Plotkin on recursive domain equations in omega-chain complete enriched ca
 tegories.
LOCATION:CMS\, MR13
END:VEVENT
END:VCALENDAR