Search results with tag "Combinatory"

History of Lambda-calculus and Combinatory Logic

The present article will sketch the history of these two topics through the twen- tieth century. We shall assume the reader is familiar with at least one of the many versions

  History, Reader, Logic, Calculus, Lambda, History of lambda calculus and combinatory logic, Combinatory