Chronological Overview 
 Type-Hierarchical Overview 
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 »
InProc. of TLCA'01
SeriesLNCS 2044
Page(s)315-328
Year2001
PublisherSpringer
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: dL01.pdf

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


 Chronological Overview 
 Type-Hierarchical Overview 
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)

Valid HTML 4.01!