Related terms:
lisp
rosser
kleene
bound
haskell
logic
code
recursion
undefined
type
math
times
value
symbol
operator
free variables
theory
evaluation
function
combinatory logic
lambda expression
source lang
example
programming
functional programming
computer science
programming language
Wikipedia sources:
Lambda calculus
Actor model
Lambda
Currying
Functional programming
Type polymorphism
Scheme (programming language)
Expression (mathematics)
Halting problem
Context for words:
lambda
calculus
|
|