User talk:Sam Staton
From Wikipedia, the free encyclopedia
[edit] Substitution in Lambda Calculus
Yeah, I screwed up. I thought I could define the concept of substitution and then express both the alpha and beta reduction rules using this concept, but I see now that this is not the right approach. This is all more subtle and complex than I had originally thought. I'm back to real work tomorrow, but I should have something more sensible next weekend. Thanks for the correction. A B Carter (talk) 23:49, 1 June 2008 (UTC)
