On Translating Lambda Terms into Combinators; The Basis Problem

Richard Statman

Browse the full LICS paper archive.