Home » forums » LtU Forum

help with [Barendregt & Barendsen, 1994]

I'm working my way through An Introduction to Lambda Calculus (Barendregt & Barendsen, 1994) and I was wondering if there is an answer sheet available, or a forum where I could talk with someone about the problems in the text. In particular, problem 2.11 

Show

    ∀ C[, ] ∃ F ∀ x Fx = C[F, x]

and take another look at the exercizes 2.8, 2.9 and 2.10

has me stumped. I don't understand the bracketing convention used following C, and I don't get what's so special about the result shown in this exercize.

By Jason Dusek at 2006-08-15 21:52 | LtU Forum | previous forum topic | next forum topic | other blogs | 7945 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

it's not homework...

Really. I'm not even a student - I work as a sysadmin for a small firm in the Bay Area.

By Jason Dusek at Wed, 2006-08-16 01:49 | login or register to post comments

This is an instance of the

This is an instance of the convention at the end of section one -- M[x] is a term with x free in it, and M[x,y] is a term with both x and y free in it. See the bottom of page 10 where he defines the vector notation for free variables.

By neelk at Wed, 2006-08-16 02:46 | login or register to post comments

More recent version

Erik Barendsen has put a more recent version (March 2000) on his home page.

By Ronny Wichers Schreur at Wed, 2006-08-16 18:46 | login or register to post comments