infinite computable sequences of functions
Engeler graph model of combinatory algebra
scientific article