Richard Statman
On Translating λ Terms into Combinators; The Basis Problem
LICS, 1986.
@inproceedings{LICS-1986-Statman,
author = "Richard Statman",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "378--382",
publisher = "{IEEE Computer Society}",
title = "{On Translating λ Terms into Combinators; The Basis Problem}",
year = 1986,
}