O'Reilly logo

Lambda Calculus with Types by Richard Statman, Wil Dekkers, Henk Barendregt

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

13

Type Assignment Systems

This chapter defines a family of systems image that assign intersection types to untyped lambda terms. These systems have a common set of typing rules parametric in an intersection type theory image. They are obtained as a generalization of the example system image presented in Chapter 12.

In Section 13.1, we start by defining a set image of intersection ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required