The words contained in this file might help you see if this file matches what you are looking for:

...Lambda calculus gunnar gotshalks lc history developed by alonzo church during mid s one fundamental goal was to describe what can be computed full denition of is equivalent in power a turing machine machines and are alternate descriptions our understanding computable the late john mccarthy lisp programming language based on implementation includes syntactic sugar functions forms that do not add we compute but make programs simpler easier understand basis mathematical theory for anonymous have been bound names present subset avour notation interpretation scheme identies their application operands argument parameter binding clearly indicates which variables free...