Back to Results
First PageMeta Content
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


Introduction to Lambda Calculus Henk Barendregt Erik Barendsen Revised edition
Add to Reading List

Document Date: 2008-07-15 17:50:58

Open Document

File Size: 304,35 KB

Share 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