Sciweavers

Share
MST
2008

Logical Equivalence for Subtyping Object and Recursive Types

10 years 2 months ago
Logical Equivalence for Subtyping Object and Recursive Types
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised through an assignment system. It is shown that equality in the full first order -calculus is modelled by this notion, which in turn is included in a Morris-style contextual equivalence.
Steffen van Bakel, Ugo de'Liguoro
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where MST
Authors Steffen van Bakel, Ugo de'Liguoro
Comments (0)
books