User loginNavigation |
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 | 7840 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 10 min ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago