de Bruijn notation
lambda term
Church encoding
applicand
calcular
de Bruijn index
anonymous function
beta reduction
analysis
eta conversion
calculus of variations
monic
mathematicistic
differential calculus
lambda calculus
method of fluxions
mathemic
sequent
mathspeak
hedonic calculus
utility calculus
analytic
hedonistic calculus
calculus
moral arithmetic
infinitesimal calculus
lambda abstraction
alpha conversion
paradifferential
mathetic
integral
differentiation
analytic mechanics
formal logic
calculary
numerical analysis
mathematical notation
critical function
algebraically
polynomially
Loday algebra
polynomialist
algebraic function
diff EQ
extremal
algebraic structure
coquecigrue
algebraist
irreducible
algebra
ring theory
differential
Cantor dust
integral calculus
hyperalgebraic
combinator
linear algebraic
functional
many-valued logic
semiclassically
Church-Rosser theorem
mathematicism
bilestone
no-ghost theorem
normed
algebraical
Bell-Kochen-Specker theorem
binomial
mathematically
Conway polynomial
Conway-Alexander polynomial
monomial
linear logic
adequal
fractional calculus
homogeneous polynomial
linear algebra
structure
derived
Boolean algebra
Clifford module
conjecturing
arithmetic
eumagnesemic
MRDP theorem
harmonic progression
ar-
underlying set
syntactics
ultrafunction
formal
sigmatic
axiomic
Jordan algebra
notationally

English words for 'A certain syntax for terms in the lambda calculus.'

As you may have noticed, above you will find words for "A certain syntax for terms in the 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

peaked. dead tired self. drum-shaped bag to be up to the task coalfish CIS trumpet precocious. A stable total deafness separate building vacant post taiga An instance of such surgery United States poet basic resident register network system distrust. favorable wind helping hand A governess flautist To misbehave petty thief hard to control A male homosexual unpremeditated To rain heavily table tennis to wish for A little man undecided. to throw into police station squash clash tuberculosis Ready to grip Buddhism it vanity farmer household shock sleep to stand out lover coward rank