1. 6

Reason for edit: I realized the title was somewhat misleading; the title was originally “To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism,” but the link only included one of the papers from the publication, “Optimal Reductions for Lambda Calculus”

  1.