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