alpha conversion
eta conversion
beta reduction
lambda abstraction
Church encoding
de Bruijn notation
applicand
lambda term
de Bruijn index
anonymous function
lambda calculus
combinator
monomorphism
Church-Rosser theorem
deparameterized
calcular
tritylated
constacyclic
covariant
Hindley-Milner type system
Herbrand function
captureless
eigenvector
Herbrandization
Jordan algebra
precomposition
conjecturable
linear algebra
contravariant
Legendre transformation
method of fluxions
differential calculus
antiunitary
consensus theorem
truncate
Bernstein basis polynomial
Skolemization
residuum
in terms of
binarization
abc conjecture
solution
phantom type
Boolean derivative
metaparameter
root
relinearize
conjecturer
substitute
state
xeromorphous
differentiation
contragredient
call by sharing
Conway polynomial
excosecant
antilimit
borylate
eigenform
reparameterize
linear operator
unquote
proof system
Conway-Alexander polynomial
guessingly
parametrically
Lagrange polynomial
formula
biderivation
diazaborine
subcorollary
sentential function
selfdistributive
Leyland number
azaborine
extremal
paradifferential
soundness
wave operator
recurrence relation
conjectural
conjecturalist
De Morgan's law
Kleisli category
box operator
eigenvalue
sequent
underparameterized
Weyl algebra
XNOR gate
composition algebra
tilting
hedonic calculus
-x
hedonistic calculus
d'Alembertian
utility calculus
multilinear form
moral arithmetic

English words for 'One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (πœ†x.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (πœ†y.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.'

As you may have noticed, above you will find words for "One of the three rewrite rules of lambda calculus, in which a bound variable of a lambda term is replaced by another variable across its entire scope. So if there is a lambda term of the form (πœ†x.t) and it is desired to have x replaced with y, then the rewritten lambda term would have the form (πœ†y.t[y/x]) where t[y/x], "t with y instead of x", has had all free instances of x in t replaced with y.". 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

new development quirky Chinese studies. unfashionable. the next day former times morning drink to get rid of a hangover turbot fan shape street clothes concentrating on aftertaste abbey ingratitude. to forecast. mysterious power feijoa (Acca sellowiana) high-fructose corn syrup to feel excited unluckily sumo wrestling alley cat labour federation underclass flowery words FIFO a pimp. honourable knackered sympathizer lounge to regret. To sink levy potentiality to a large degree drawing room captive rural districts ludicrous animal wanton continuing phantom singing immoral lean neighborhood tremendous disturbance