Week 10 - Lambda Calculus Flashcards
1
Q
Calculi
A
Small and simple theoretical programming languages
2
Q
What is a delta reduction on a lambda term?
A
an ordinary arithmetic reduction (calculate the result of any arithmetic terms)
3
Q
What is a beta reduction on a lambda term
A
Substitute the formal argument (x for example) with the actual argument (7 for example)
