HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Logical equivalence for subtyping object and recursive types

Steffen van Bakel 1 Ugo De'Liguoro 1
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : 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 $\varsigma$-calculus is modelled by this notion, which in turn is included in a Morris-style contextual equivalence.
Document type :
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

Contributor : Steffen van Bakel Connect in order to contact the contributor
Submitted on : Thursday, September 21, 2006 - 11:28:08 AM
Last modification on : Friday, February 4, 2022 - 3:22:53 AM
Long-term archiving on: : Monday, April 5, 2010 - 10:49:09 PM


  • HAL Id : inria-00097235, version 1


Steffen van Bakel, Ugo De'Liguoro. Logical equivalence for subtyping object and recursive types. [Research Report] RR-5985, INRIA. 2006, pp.51. ⟨inria-00097235⟩



Record views


Files downloads