VDict mobile



lambda-PRL not found. Suggestions:

lambda abstraction
lambda expression
lambda-calculus
Weak Head Normal Form
pure lambda-calculus
beta reduction
De Bruijn notation
polymorphic lambda-calculus
alpha conversion
Lambda Prolog