combinator
lambda abstraction
captureless
sentence
anonymous function
closed
closed formula
beta reduction
eta conversion
monome
de Bruijn notation
indeterminant
alpha conversion
nonparameterized
open
de Bruijn index
aparametric
const
spectrum
nonpointer
lambda calculus
applicand
newless
infinitesimal
third-class object
free variable
reserved word
singular statement
lambda term
n-type
polynomial
projective module
unparameterizable
bar
nonvariable
Church encoding
nitrosolic acid
nonparameterizable
subject
nonsampling
prefix notation
nonpolynomial
unconjecturable
unprenylated
word
positive logic
Polish notation
magic
Lukasiewicz notation
free abelian group
parameterless
primorial
monactin
juxtaposition
anisomorphic
nonexpression
cofree
context
nonisomorphic
antidictionary
unisomorphic
polytype
Kleisli category
unstringed
parenthesis-free notation
unparenthesized
suffix notation
walrus operator
reverse Polish notation
Boolean derivative
unalgebraical
postfix notation
unalgebraic
oxylium ion
Gen Z
NOT function
indeterminate
nonfunctional
eigenvalue
undelegated
nominal variable
nonalgebraic
anonymous class
unconjectured
suffixless
de Bruijn-Newman constant
expressionless
unassigned
linearly dependent
monogenic
Herbrand function
non-capturing group
null
functionless
nontensorial
pronumeral
nonrecursive
stringless
genexp
captureless
closed
nonparameterized
open
aparametric
newless
unparameterizable
nonvariable
nonparameterizable
nonsampling
unconjecturable
unprenylated
magic
parameterless
anisomorphic
cofree
nonisomorphic
unisomorphic
unstringed
unparenthesized
unalgebraical
unalgebraic
nonfunctional
undelegated
nonalgebraic
unconjectured
suffixless
expressionless
unassigned
linearly dependent
functionless
nontensorial
nonrecursive
stringless
combinator
lambda abstraction
sentence
anonymous function
closed formula
beta reduction
eta conversion
monome
de Bruijn notation
indeterminant
alpha conversion
de Bruijn index
const
spectrum
nonpointer
lambda calculus
applicand
infinitesimal
third-class object
free variable
reserved word
singular statement
lambda term
n-type
polynomial
projective module
bar
Church encoding
nitrosolic acid
subject
prefix notation
nonpolynomial
word
positive logic
Polish notation
Lukasiewicz notation
free abelian group
primorial
monactin
juxtaposition
nonexpression
context
antidictionary
polytype
Kleisli category
parenthesis-free notation
suffix notation
walrus operator
reverse Polish notation
Boolean derivative
postfix notation
oxylium ion
Gen Z
NOT function
indeterminate
eigenvalue
nominal variable
anonymous class
monogenic
Herbrand function
non-capturing group
null
pronumeral
genexp
English words for 'A lambda expression which has no free variables in it.'
As you may have noticed, above you will find words for "A lambda expression which has no free variables in it.". Hover the mouse over the word you'd like to know more about to view its definition. Click 
to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.
Recent Queries
current state
the gods
Refuse
costume jewelry
transhumanism
imputation
patronym
polar distance
latent energy
cogeneration
roof tile
A teleporter
baby powder
sitting cross-legged
DOB
blasting
colour value
raging flames
MTS
translocation
lingering affection
retreating
intern
feeling no shame
decalcomania
OCR
refrigerator car
exhaustively
To pull up by the roots
performing solo
times
printing type
Severe
out-of-date
lamenting
solitary cell
to ward off
soybean
fragrant
stark naked
watershed
flashing
To walk
quitting
feasible.
graphic
bud
to rush
generous
special