hindley,james roger introduction to combinatory logic hindeley,james roger - 1st.ed. | London Cambridge University 1972