## Simona Ronchi Della Rocca.
Typed Intersection Lambda Calculus.
In *LTRS 2002*, volume 70(1) of *Electronic Notes in
Computer Science*. Elsevier, 2002.

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.

[ bib |
http |
.pdf ]

Back

*This file has been generated by
bibtex2html 1.60*
>>> BackToHomePage(Protocollo) <<<