Simona Ronchi Della Rocca
Intersection typed
lambda-calculus
In ITRS 2002, volume 70.1 of ENTCS 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 |
.pdf ]
Back
This file has been generated by
bibtex2html 1.43