|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| 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:
| BibTeX code |
@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},
}
|
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)
