[Haskell-cafe] OT: Literature on translation of lambda calculus to combinators

[Dušan Kolář]

Dear cafe,

   Could anyone provide a link to some paper/book (electronic version of 
both preferred, even if not free) that describes an algorithm of 
translation of untyped lambda calculus expression to a set of 
combinators? Preferably SKI or BCKW. I'm either feeding google with 
wrong question or there is no link available now...

   Thanks,

     Dušan