Lambda calculus Flashcards by Ryan Storey

Q

What is alpha conversion

A

Allows one to rename bound variables

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is beta conversion

A

Allows one to apply a lambda abstraction to an argument

i.e. (\x + 2)9

How well did you know this?

1

Not at all

2

3

4

5

Perfectly