Intersection Typed λ-calculus |
| |
| Authors: | Simona Ronchi Della Rocca |
| |
| Affiliation: | aDipartimento di Informatica, Università di Torino, 10149 - Torino, Italy |
| |
| Abstract: | The aim of this paper is to discuss the design of an explicitly typed λ-calculus corresponding to the Intersection Type Assignment System (IT) which assigns intersection types to the untyped λ-calculus. Two different proposals are given. The logical foundation of all of them is the Intersection Logic IL. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
