On Translating Lambda Terms into Combinators; The Basis Problem

Richard Statman

Published in: LICS (1986)

Keyphrases

co occurrence
starting point
real time
high level
objective function
multi agent
learning environment
cooperative
image retrieval
probability distribution