Papers tagged lambda calculus Early LISP History (1956-1959) ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM ON COMPUTABLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM Propositions as Types Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I Browse All Keywords By Category
