**vanBakel-deLiguoro:ICTCS-05 (In proceedings)
** |

Author(s) | Steffen van Bakel and Ugo de' Liguoro |

Title | « *Subtyping object and recursive types logically »* |

In | Proc. of ICTCS'05 |

Series | LNCS 3701 |

Page(s) | 66-80 |

Year | 2005 |

Publisher | Springer |

PDF | http://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:

```
@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},
}
```

This document was generated by bib2html 3.3.

(Modified by Luca Paolini, under the GNU General Public License)