![Formal methods / Models of computation / Elementary mathematics / Combinatory logic / Free variables and bound variables / Function / Variable / De Bruijn index / Spectral theory of ordinary differential equations / Mathematics / Lambda calculus / Computability theory Formal methods / Models of computation / Elementary mathematics / Combinatory logic / Free variables and bound variables / Function / Variable / De Bruijn index / Spectral theory of ordinary differential equations / Mathematics / Lambda calculus / Computability theory](https://www.pdfsearch.io/img/7f6a69cff29ad036c6b47f41df54f65b.jpg)
| Document Date: 2008-07-15 17:50:58 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 |