Related terms:
normalization property
church numeral
strongly normalizing
typed lambda
undecidability
identity function
logical relations
single input
recursively defined
lambda abstraction
typed lambda calculi
lambda f
function type
functional programming language
simply typed lambda calculus
type annotations
currying
normalisation
synthesizes
mathbb n
bound variable
cartesian closed
constant function
pi n
evaluation strategy
landin
intensional
type inference
Wikipedia sources:
Simply typed lambda calculus
Normalization property (abstract rewriting)
Lambda calculus
System F
Intuitionistic type theory
Context for words:
typed
lambda
calculus
|
|