Related articles:
Algorithm
Category theory
Eiffel (programming language)
F Sharp (programming language)
Function (mathematics)
Functional programming
Lisp (programming language)
Mathematical logic
Programming language
Smalltalk
Key terms:
abstraction
always reduced
applicative order
arithmetic in lambda calculus
bound variable
call by need
call by value
church numeral
combinatory logic
computable
correspondence between
evaluation strategy
expressed in lambda calculus
factorial function
free variables
function application
functional programming
fv
hendrik pieter
introduction to lambda calculus
lambda calculus
lambda calculus terms
lambda expression
lazy evaluation
left associative
leq
lisp
mathematical logic
nil
outermost
portable document format
pq
predecessor function
predicate
programming language
recursion
recursively defined
reduction strategies
reification
source lang
subprograms
succ
thunk
true false
tt
typed lambda calculus
undecidability
using applicative order
xy
y g
Search external links cited by footnotes on Wikipedia page Lambda calculus:
|
|