Formal Methods in Computing(Most of the papers antecedent to 1995are 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 $\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.

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