Computing Publications

Publications Home » Subtyping object and recursive ty...

Subtyping object and recursive types logically

Steffen van Bakel, Ugo de'Liguoro

Conference or Workshop Paper
9th Italian Conference on Theoretical Computer Science (ICTCS'05), Siena, Italy
October, 2005
Lecture Notes in Computer Science
Volume 3701
pp.66–80
Springer
DOI 10.1007/11560586
Abstract

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 formalized through an assignment system. It is shown that equality in the full first-order $varsigma$-calculus is modeled by this notion, which is included in a Morris-style contextual equivalence.

PDF of full publication (210 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.