Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Lambda calculus question, assignment 1
1 view
Skip to first unread message
Gordon V. Cormack
Jan 27, 1998, 3:00:00 AM1/27/98
to
In article <EnErs...@undergrad.math.uwaterloo.ca>,
Caroline Kierstead <ctki...@undergrad.math.uwaterloo.ca> wrote:
>
>By unchanged, do you mean it would return the original lambda-calculus
>expression (x fun y y y) z? So, how are you supposed to specify a beta-redex
>then? Would it be ((fun y y y) z) or something completely different?
((fun y y y) z) is a beta redex, it reduces to (z z)
--
Gordon V. Cormack CS Dept, University of Waterloo, Canada N2L 3G1
gvco...@uwaterloo.ca http://cormack.uwaterloo.ca/cormack
0 new messages