Combinatory Logic (1958)

by H B Curry, R Feys