[Haskell-cafe] OT: Literature on translation of lambda calculus
matthias.goergens at googlemail.com
Mon Feb 1 08:48:16 EST 2010
You can also find an algorithm in everyone's favourite book in
combinatorial logic "To Mock a Mockingbird"
More information about the Haskell-Cafe