Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

vanBakel-deLiguoro:ICTCS-05 (In proceedings)
Author(s) Steffen van Bakel and Ugo de' Liguoro
Title« Subtyping object and recursive types logically »
InProc. of ICTCS'05
SeriesLNCS 3701
Page(s)66-80
Year2005
PublisherSpringer
PDFhttp://www.di.unito.it/˜deligu/papers/FOBtalk.pdf
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 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.

Download the complete article: vBdL05draft.pdf

BibTeX code

@inproceedings{vanBakel-deLiguoro:ICTCS-05,
  pdf = {http://www.di.unito.it/~deligu/papers/FOBtalk.pdf},
  author = {Steffen van Bakel and Ugo de' Liguoro},
  series = {LNCS 3701},
  booktitle = {{Proc. of ICTCS'05}},
  localfile = {http://www.di.unito.it/~deligu/papers/vBdL05draft.pdf},
  title = {{Subtyping object and recursive types logically}},
  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 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.},
  tag = {{ICTCS'05}},
  publisher = {Springer},
  year = {2005},
  pages = {66-80},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!