On Translating Lambda Terms intoCombinators: the Basis Problem (1986)

by R Statman
Venue:Proceedings of the 1st Symposium on Logic In Computer Science,pp