![Predicate logic / Computability theory / Formal methods / Models of computation / Combinatory logic / Free variables and bound variables / Function / Variable / First-order logic / Mathematics / Mathematical logic / Lambda calculus Predicate logic / Computability theory / Formal methods / Models of computation / Combinatory logic / Free variables and bound variables / Function / Variable / First-order logic / Mathematics / Mathematical logic / Lambda calculus](https://www.pdfsearch.io/img/5a6a314aa43406bd39fc4c14c35822e3.jpg)
| Document Date: 2010-04-12 10:42:50 Open Document File Size: 304,35 KBShare Result on Facebook
Company Russell / Assignment 33 6 Extensions 41 7 Reduction Systems / / IndustryTerm intended algorithm / Reduction systems / / Organization Alonzo Church / / Person Alan Turing / H.B. Curry / Church / Erik Barendsen / / ProgrammingLanguage ML / V / Lambda Calculus / Fortran / Pascal / Lisp / / Technology Functional programming / same intended algorithm / random access / /
SocialTag |