eta conversion
alpha conversion
beta reduction
applicand
Church encoding
lambda term
de Bruijn notation
lambda abstraction
de Bruijn index
lambda calculus
calcular
anonymous function
combinator
differentiation
formation rule
contragredient
calculus
Church-Rosser theorem
functionomic
hyperstructure
Baire function
derivative
monomorphism
concretistic
Herbrand universe
formula
calculary
logicism
Legendre transformation
bilestone
derived
recurrence relation
conjecturing
chain rule
captureless
Herbrand function
undercomplete
constacyclic
abuse of notation
overcomplete
proof system
De Morgan's law
aldoximate
conjectural
operational calculus
hyperbolic
derivationally
sentential function
functional
anamorphism
integral
informal fallacy
infinitesimal calculus
Hindley-Milner type system
analysis
method of fluxions
Conway-Alexander polynomial
differential calculus
binarization
Conway polynomial
algebraic function
residuum
algebraic structure
Schläfli symbol
fractional calculus
primitive recursive
monomorphisation
differentiable
plurisubharmonic
Hodge decomposition
realm
set theory
suffix notation
balayage
Organon
conventionalism
eigenequation
partial function
Gödel's incompleteness theorem
proof
reverse Polish notation
abc conjecture
postfix notation
ar-
root
solution
spectrum
notationally
state
corner quote
sequent
logic operation
excosecant
Clifford module
formal logic
logical operation
composition algebra

English words for 'One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (𝜆x.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).'

As you may have noticed, above you will find words for "One of the three rewrite rules of lambda calculus, which expresses a sort of tautology about function application. The rule says that a lambda abstraction of the form (𝜆x.(fx)) may be rewritten as simply f, provided that x does not occur freely in f (considered by itself).". 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

allowable coloured pattern spectroscopy myxoma following wind whimpering dissipating the Almighty grime twenty-six a stimulus. contest of strength now that acknowledge. fickle. senile The nucleus of a cell jewelry box great plan nourishing. DTE homing pigeon uncensored closed growing system for year-round production of vegetables bending forward age of adulthood antisymmetric able-bodied you can make friends anywhere public holiday burnishing jet plenary session local cuisine to slide down to look up to To indent calico god of thunder cunt Excessive rich person closure A town in Utah aqua banter merrymaking neatly supplication above all