Ugo de' Liguoro Steffen van Bakel
Subtyping object and recursive types
logically
In Proceedings of ICTCS'05, LNCS Springer-Verlag, 2005
To appear
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 formalized 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.
[ bib |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43