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

Hans Aberg haberg at math.su.se
Mon Feb 1 10:04:48 EST 2010


On 28 Jan 2010, at 10:54, Dušan Kolář wrote:

>  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...

Here is a paper that uses that standard arithmetic operators that  
Church defined:
   http://www.dcs.ed.ac.uk/home/pgh/amen.ps

   Hans




More information about the Haskell-Cafe mailing list