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

16

Filter Models

Filter models are models of the untyped lambda calculus where terms are interpreted as sets of types. The domain of a filter model will be the set image of filters as defined in Section 13.4, i.e.

image

The application and the abstraction will be interpreted using the functions image and image of a filter structure, see Definition 13.4.5. Variations on ...

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