User marcus booster - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T06:20:19Z http://mathoverflow.net/feeds/user/621 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/983/what-is-lambda-calculus-related-to What is lambda calculus related to? Marcus Booster 2009-10-18T02:14:57Z 2010-12-03T03:49:11Z <p>So I'm not much of a math guy but I've really enjoyed programming in Lisp and have become interested in the ideas of lambda calculus which it is based.</p> <p>I was wondering if anyone had a suggestion where I should go from here if I'm interested in learning about similar fields. If would be nice if I could relate it back to programming, but not necessarily a prerequisite.</p> <p>Thanks.</p> http://mathoverflow.net/questions/983/what-is-lambda-calculus-related-to/995#995 Comment by Marcus Booster Marcus Booster 2009-10-18T05:22:16Z 2009-10-18T05:22:16Z That was an interesting link, it also brought me to Combinatory logic which is the kind of terms I was looking for.