How are fractional numbers most effectively encoded in lambda calculus? - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-05-24T21:27:37Z http://mathoverflow.net/feeds/question/59901 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/59901/how-are-fractional-numbers-most-effectively-encoded-in-lambda-calculus How are fractional numbers most effectively encoded in lambda calculus? Anonymous 2011-03-28T23:09:03Z 2011-03-29T09:49:38Z <p>I haven't been able to find any information on this, but I think that if someone knows it, it's someone here. I need it for some theoretical knowledge about lambda calculus and compiler optimizations.</p> <p>EDIT: Moved to <a href="http://math.stackexchange.com/questions/29697/how-are-fractional-numbers-most-effectively-encoded-in-lambda-calculus" rel="nofollow">http://math.stackexchange.com/questions/29697/how-are-fractional-numbers-most-effectively-encoded-in-lambda-calculus</a></p> http://mathoverflow.net/questions/59901/how-are-fractional-numbers-most-effectively-encoded-in-lambda-calculus/59909#59909 Answer by Igor Rivin for How are fractional numbers most effectively encoded in lambda calculus? Igor Rivin 2011-03-29T00:47:53Z 2011-03-29T00:47:53Z <p>You should look at</p> <p><a href="http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf" rel="nofollow">http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.pdf</a></p>