beta reduction
alpha conversion
eta conversion
lambda abstraction
de Bruijn notation
Church encoding
lambda term
applicand
de Bruijn index
anonymous function
lambda calculus
calcular
Jordan algebra
residuum
Hindley-Milner type system
combinator
recurrence relation
contragredient
Steiner system
Kleisli category
logical notation
concretistic
mathemic
congruence
quotient set
contravariant
mathematicistic
eigenform
Church-Rosser theorem
differential calculus
captureless
De Morgan's law
method of fluxions
evectant
axiomatic system
predicate logic
box operator
Boolean algebra
Clifford module
evector
wave operator
calculary
proof system
abstractional
relative pseudo-complement
anamorphism
sigmatic
Euler-Lagrange equation
algebraical
infinitesimal analysis
mathetic
arithmetic
integral
derivation
covariant
imperative
Herbrandization
Bernstein basis polynomial
linear algebra
Hodge decomposition
seminormal
Conway polynomial
derived
extremal
logistic
composition algebra
mathematical notation
logical operation
logification
closure
bilestone
negation
theory
logic operation
conjecturalist
Conway-Alexander polynomial
setting rule
binarization
tacit programming
Oesterlé-Masser conjecture
abstract
positive measure
exponential equation
Peano arithmetic
declarative programming
clausifier
algebraic geometry
analysis
Gentzenization
Gödel's incompleteness theorem
Heyting algebra
multiequational
algebra
abelian
Turing
mathspeak
eigenvalue
antipalindromic
simplified expression

English words for 'One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (𝜆x.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.'

As you may have noticed, above you will find words for "One of the three rewrite rules of the lambda calculus, which states that the application of a lambda abstraction (𝜆x.t) to a term s yields an expression t[s/x], "t with s instead of x", where all free instances of x in t have been replaced by s.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries

widely distributed in warm seas kindheartedness undershirt impregnable fortress famous sword smooth skin macroanalysis To ponder registered dietitian dry cleaning left side wild monkey not relaxed. to oust tracer toll-free call In very close proximity ALT good haul automatic control a striptease. to growl first love rapeseed flowers treetop to animate gangrene tears of gratitude small present evening party iridescence radioactive waste cabin healthy. to draw a line through. cableway pastoral poem freeway to sound out kit rigidly scribbling poisonous warmly bid-rigging papermaking to be upset deficiency intelligent villain