Logical equivalence for subtyping object and recursive types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2006

Logical equivalence for subtyping object and recursive types

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.
Fichier principal
Vignette du fichier
vanBakel-deLiguoro.pdf (380.35 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00097235 , version 1 (21-09-2006)

Identifiers

  • HAL Id : inria-00097235 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More