Mentioned in the PDF I linked to :) And lambda calculus came decades before still.