[Ron02] Typed Intersection Lambda Calculus

Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)

Ronchi:ITRS-2002 (In proceedings)
Author(s)	Simona Ronchi Della Rocca
Title	« Typed Intersection Lambda Calculus »
In	LTRS 2002
Series	Electronic Notes in Computer Science
Volume	70(1)
Year	2002
Publisher	Elsevier
URL	http://www.di.unito.it/~ronchi/papers/ronchi-itrs02.pdf

Abstract
The aim of this paper is to discuss the design of an explicitly typed lambda-calculus corresponding to the Intersection Type Assignment System (IT), which assigns intersection types to the untyped lambda-calculus. Two different proposals are given. The logical foundation of all of them is the Intersection Logic IL.

BibTeX code

@inproceedings{Ronchi:ITRS-2002,
  volume = {70(1)},
  author = {Ronchi Della Rocca, Simona},
  series = {Electronic Notes in Computer Science},
  booktitle = {L{TRS} 2002},
  url = {http://www.di.unito.it/~ronchi/papers/ronchi-itrs02.pdf},
  tag = {L{TRS} 2002},
  title = {Typed {I}ntersection {L}ambda {C}alculus},
  abstract = {The aim of this paper is to discuss the design of an explicitly
              typed lambda-calculus corresponding to the Intersection Type
              Assignment System (IT), which assigns intersection types to the
              untyped lambda-calculus. Two different proposals are given. The
              logical foundation of all of them is the Intersection Logic IL.},
  publisher = {Elsevier},
  pages = {},
  year = 2002,
}

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)