Example: biology
Search results with tag "Combinatory"
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