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:
|
|