Lambda calculus - related articles and key terms

Related articles: Programming language   Functional programming   Smalltalk   Lisp (programming language)   Eiffel (programming language)   Scheme (programming language)   Mathematical logic   Function (mathematics)   Category theory

Key terms: tt   lambda calculus   typed   fv   recursion   abstraction   programming language   pq   lambda terms   predicate   lambda expressions   free variables   kleene   succ   landin   thunk   church numeral   curried   source lang   beta reduction   rosser   applicative order   lambda abstraction   bound variable   true false   subprograms   identity function   alpha equivalent   untyped lambda calculus   reduction strategies   combinatory logic   anonymous function   mathematical logic   hendrik pieter   undecidability   freshness condition   lazy evaluation   predecessor function   capture avoiding   equivalent lambda   factorial function   functional programming language   recursively defined   evaluation strategy   typed lambda calculi   lambda calculus terms   using applicative order   portable document format   introduction to lambda calculus   preceding subsection demonstrated


Search external links cited by footnotes on Wikipedia page Lambda calculus: