lambda term
de Bruijn notation
applicand
calcular
Church encoding
analysis
mathematicistic
mathemic
differentiation
calculus
infinitesimal calculus
analytic
eta conversion
mathematical notation
beta reduction
formal logic
arithmetic
method of fluxions
calculus of variations
differential calculus
mathematicize
mathetic
sequent
anonymous function
differentiate
calculary
critical function
lambda calculus
monic
polynomially
Cantor dust
mathematically
formulaically
numerical analysis
mathspeak
de Bruijn index
hedonic calculus
utility calculus
integral
hedonistic calculus
moral arithmetic
algebraically
formulary
extremal
mathematical operation
mathematical process
differential
do the math
operation
differential equation
normed
analytic mechanics
paradifferential
derived
Church-Rosser theorem
multiformula
polynomialist
coquecigrue
complex analysis
integral calculus
irreducible
mathematical analysis
bilestone
mathematical function program
numericist
surjection
onto function
pseudodifferential
surjective function
diff EQ
Diophantus
figurework
alpha conversion
operational calculus
operand
monogenic
algebraizable
algebra
Laguerre polynomial
formation rule
cylinder function
integration
set theory
guessingly
discrete math
Riemann zeta function
Conway-Alexander polynomial
conjecturing
Conway polynomial
multimathematical
interpretation
precalc
linearithmically
precalculus

English words for 'A well-formed formula in the language of a lambda calculus.'

As you may have noticed, above you will find words for "A well-formed formula in the language of a lambda calculus.". 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