Related terms:
type theory
currying
functional programming
simply typed lambda calculus
landin
dependent type theory
typed lambda calculi
normalization property
lambda cube
strongly normalizing
church numeral
haskell curry
function f
mathematical logic
Wikipedia sources:
Lambda calculus
Simply typed lambda calculus
Combinatory logic
Fixed point combinator
Normalization property (abstract rewriting)
Church encoding
Scheme (programming language)
Dependent type
Functional programming
Domain theory
Actor model
Programming language theory
System F
Alonzo Church
Expression (mathematics)
Quantum programming
Type theory
Polymorphism (computer science)
Anonymous function
Natural deduction
Haskell Curry
Higher-order function
Apply
Lazy evaluation
Halting problem
Parameter (computer programming)
Lambda
Continuation
Turing completeness
Currying
Context for words:
lambda
calculus
|
|