A New Translation Algorithm from Lambda Calculus into Combinatory Logic.

Sabine Broda, Lus Damas

Browse the full EPIA paper archive.