Computing Publications

Publications Home » Logical equivalence for subtyping...

Logical equivalence for subtyping and recursive types

Steffen van Bakel, Ugo de'Liguoro

Journal Article
Theory of Computing Systems

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 sigma-calculus is modelled by this notion, which on turn is included in a Morris style contextual equivalence.

PDF of full publication (295 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.