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

Index of terms

α-avoiding, 413

α-flexible, 412

image-redex, 410

λ-definable, 40, 193

– from, 193

λ-define, 193

λ-define d from the image, 193

μ-redex, 421

CPO: complete partial order, 522

safe

image-type, 412

abstract reduction system, 55

Ackermann function, 284

added, 404

additive, 656

adfluent, 306

adjunction, 402

admissible

rule, 584

agree

with ρ, 690

with constraints, 484

algebra, 44, 439

algebraic, 44, 44

map, 438

ambiguous, 286

application operators, 95

applicative ...

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