On isomorphisms of intersection types (original) (raw)

On isomorphisms of intersection types

2010

Roberto Di Cosmo

Abstract

The study of type isomorphisms for different λ-calculi started over twenty years ago, and a very wide body of knowledge has been established, both in terms of results and in terms of techniques. A notable missing piece of the puzzle was the characterization of type isomorphisms in the presence of intersection types.

Roberto Di Cosmo hasn't uploaded this paper.

Let Roberto know you want this paper to be uploaded.

Ask for this paper to be uploaded.