**deLiguoro:TLCA-01 (In proceedings)
** |

Author(s) | Ugo de' Liguoro |

Title | « *Characterizing convergent terms in object calculi via intersection types »* |

In | Proc. of TLCA'01 |

Series | LNCS 2044 |

Page(s) | 315-328 |

Year | 2001 |

Publisher | Springer |

**Abstract** |

We give a simple characterization of convergent terms in Abadi and Cardelli untyped Object Calclulus (sigma-calculus) via intersection types. We consider a $\lambda $-calculus with records and its intersection type assignment system. We prove that convergent lambda-terms are characterized by their types. The characterization is then inherited by the object calculus via self-application interpretation. |

Download the complete article:

```
@inproceedings{deLiguoro:TLCA-01,
author = {Ugo de' Liguoro},
series = {LNCS 2044},
booktitle = {{Proc. of TLCA'01}},
localfile = {http://www.di.unito.it/~deligu/pub/dL01.pdf},
title = {{Characterizing convergent terms in object calculi via intersection
types}},
abstract = {We give a simple characterization of convergent terms in Abadi and
Cardelli untyped Object Calclulus (sigma-calculus) via
intersection types. We consider a $\lambda$-calculus with records
and its intersection type assignment system. We prove that
convergent lambda-terms are characterized by their types. The
characterization is then inherited by the object calculus via
self-application interpretation.},
tag = {{TLCA'01}},
publisher = {Springer},
year = {2001},
pages = {315-328},
}
```

This document was generated by bib2html 3.3.

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