Towards an Intersection Typed System à la Church

Authors:
Luigi Liquori;Simona Ronchi della Rocca
Affiliations:
INRIA Sophia Antipolis, France;CS, University of Turin, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 4
Cited 1

Linear logic

Theoretical Computer Science
Lambda-calculus, types and models

Lambda-calculus, types and models
Design of the programming language FORSYTHE

ALGOL-like Languages, Volume 1
A calculus with polymorphic and polyvariant flow types

Journal of Functional Programming

Calculi, types and applications

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we presents a comfortable fully typed lambda calculus based on the well-known intersection type system discipline where proof are not only feasible but easy; the present system is the counterpart a la Church of the type assignment system as invented by Coppo and Dezani.