Example: biology
Search results with tag "History of lambda calculus and combinatory logic"
History of Lambda-calculus and Combinatory Logic
hope.simons-rock.eduThe 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