BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Logical equivalence for subtyping object and recursive types. - St
 effen van Bakel
DTSTART:20061013T130000Z
DTEND:20061013T140000Z
UID:TALK5611@talks.cam.ac.uk
CONTACT:Tom Ridge
DESCRIPTION:We study subtyping in first order object calculi with respect 
 to\nthe logical semantics obtained by identifying terms that satisfy\nthe 
 same set of predicates\, as formalised through an assignment\nsystem.   Eq
 uality in the full first order varsigma-calculus is\nmodelled by this noti
 on\, which in turn is included in a Morris-style\ncontextual equivalence. 
LOCATION:FW11
END:VEVENT
END:VCALENDAR