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