University of Virginia Computer Science
CS150: Computer Science, Fall 2005
28 October 2005
If you (1) have a team formed and (2) have an idea for what you want to do for PS8, it may make better sense for you to start working on your PS8 than to do PS7. To arrange this, you need to email me by 11:59pm on Wednesday, November 2 at list of your team members and what you want to do for PS8.
term ::= variable | term term | ( term ) | λ variable . term
Alpha Reduction: (renaming variables)
λ y . M →α λ v . M [y |→ v] where v does not occur in M.We can can change the name of a lambda variable, but replacing all occurances of the variable in the body term with a new name that does not appear in the body term.
Beta Reduction: (substitution)
(λ x . M) N →β M [ x |→ N ]Example (use back)
(λ f . ((λ x . f (xx)) (λ x . f (xx)))) λ x . x
Making "Primitives" out of nothing but Glue
|"); print ( $res[$first] ) ; print ("|
CS 150: Computer Science
University of Virginia
Using these Materials