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 -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)