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

PART I

SIMPLE TYPES image

The systems of simple types considered in Part I are built up from atomic types image using, as the only operator, the constructor → for forming function spaces. For example, from the atoms image one can form types αβ, (αβ)→α, α→(αβ) and so on. Two choices of the set of atoms that will be made most often are image, an infinite set of type variables ...

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