Work

Intersection Typed λ-calculus

Year: 2003

Type: article

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.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/s1571-0661(04)80496-1

Author: Simona Ronchi Della Rocca

Institution: University of Turin

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2020524830

FWCI: 0.506

Cites: 10

Cited by: 14

Related to: 10