lambda abstraction
beta reduction
alpha conversion
combinator
anonymous function
eta conversion
de Bruijn notation
de Bruijn index
lambda calculus
lambda term
Church encoding
Euler-Lagrange equation
composition algebra
captureless
Abel polynomial
applicand
Boolean derivative
Bernstein basis polynomial
bar
constacyclic
aldoximate
linear operator
Kleisli category
Jordan algebra
tilting
anaphora
paralambdacism
undelegated
eigenvalue
free variable
monome
principal part
base case
X-bar theory
fractional calculus
contragredient
Hindley-Milner type system
lenticulothalamic
nonadherer
zroupoid
declare
Barcan formula
unadherent
eigenvector
pseudo-complement
left eigenvalue
conjectural
function-evaluation routine
contravariant
eigenform
prototype
quadratic form
subject
baz
scalariformly
allative
monomorphism
monactin
residuum
free module
hypersemigroup
relative pseudo-complement
functionomic
precomposition
unprenylated
nonconformitant
nonconformistical
encloser
self-synchronizing
transspecifically
Boolean algebra
box operator
indeterminate
oneth
wave operator
nonconformitan
definition
parenthesis-free notation
Legendre transformation
monosemically
nonconformistic
xenomorphous
semisuffix
Jacobian
intramodule
co-recursive
Jacobitely
selfdistributive
nonambulant
parameter
phantom type
quasideterminant
unstaining
linear algebraic
typonymous
calculus of variations
rvalue
Steiner system
subcanonical
conjecturalist

English words for 'A lambda term of the form (𝜆x.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the 𝜆x. prefix. It is meant to represent an anonymous function.'

As you may have noticed, above you will find words for "A lambda term of the form (𝜆x.t) where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the 𝜆x. prefix. It is meant to represent an anonymous function.". 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

by reason of. gin casual speech indistinguishable. antibody celestial sphere narrow-gauge railway eloquent. volcanic chain rapacity. dichloromethane to resemble incumbent. preliminary investigation being driven into a corner unaided. business world old-fashioned person written oath to save up cock-and-bull story an answer that shows agreement or acceptance. reward money talc Very brave breakable unforgivable Corresponding capital gain (all of) you or them trustworthy. if that is the case biography virtual reality not acceptable fill diminish nought recursive educational institution guise accounting agriculture a lot. dull-witted thoughtlessly right and wrong to arrive to extol beauty