Lambda Calculus Flashcards
1
Q
How is lambda calculus defined?
A
2
Q
What are he syntactic rules of lambda calculus
A
3
Q
What are free and bound variables?
A
4
Q
What are substitutions?
A
5
Q
What are the rewriting rules of lambda calculus?
A
6
Q
A
7
Q
A
8
Q
What is normal form?
A
9
Q
What are nonterminating reductions?
A
10
Q
What is call-by-value reduction/applicative order?
A
11
Q
What is call-by-name reduction/ normal order reduction?
A
12
Q
What reduction type is applicative order? Normal order?
A
13
Q
How are integers represented in lambda calculus?
A
