Logical equivalence for subtyping object and recursive types.

Add to your list(s) Download to your calendar using vCal

• Steffen van Bakel
• Friday 13 October 2006, 14:00-15:00
• FW11.

If you have a question about this talk, please contact Tom Ridge.

We study subtyping in first order object calculi with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised through an assignment system. Equality in the full first order varsigma-calculus is modelled by this notion, which in turn is included in a Morris-style contextual equivalence.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• FW11
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk373's list

Note that ex-directory lists are not shown.