combinator
lambda abstraction
captureless
sentence
anonymous function
closed
closed formula
beta reduction
eta conversion
monome
de Bruijn notation
nonparameterized
alpha conversion
indeterminant
open
de Bruijn index
nonpointer
spectrum
const
aparametric
lambda calculus
free variable
applicand
newless
infinitesimal
third-class object
reserved word
lambda term
singular statement
projective module
n-type
polynomial
Church encoding
subject
nonparameterizable
nitrosolic acid
nonvariable
unparameterizable
bar
Lukasiewicz notation
nonsampling
nonpolynomial
Polish notation
free abelian group
unconjecturable
unprenylated
magic
positive logic
prefix notation
word
primorial
monactin
parameterless
juxtaposition
unisomorphic
nonexpression
anisomorphic
context
nonisomorphic
antidictionary
cofree
parenthesis-free notation
unparenthesized
polytype
unstringed
Kleisli category
reverse Polish notation
Boolean derivative
postfix notation
suffix notation
unalgebraical
walrus operator
nonalgebraic
nominal variable
eigenvalue
suffixless
unalgebraic
Gen Z
undelegated
NOT function
indeterminate
unconjectured
anonymous class
nonfunctional
oxylium ion
non-capturing group
expressionless
linearly dependent
monogenic
nonrecursive
pronumeral
unassigned
functionless
null
nontensorial
Herbrand function
de Bruijn-Newman constant
stringless
genexp
captureless
closed
nonparameterized
open
aparametric
newless
nonparameterizable
nonvariable
unparameterizable
nonsampling
unconjecturable
unprenylated
magic
parameterless
unisomorphic
anisomorphic
nonisomorphic
cofree
unparenthesized
unstringed
unalgebraical
nonalgebraic
suffixless
unalgebraic
undelegated
unconjectured
nonfunctional
expressionless
linearly dependent
nonrecursive
unassigned
functionless
nontensorial
stringless
combinator
lambda abstraction
sentence
anonymous function
closed formula
beta reduction
eta conversion
monome
de Bruijn notation
alpha conversion
indeterminant
de Bruijn index
nonpointer
spectrum
const
lambda calculus
free variable
applicand
infinitesimal
third-class object
reserved word
lambda term
singular statement
projective module
n-type
polynomial
Church encoding
subject
nitrosolic acid
bar
Lukasiewicz notation
nonpolynomial
Polish notation
free abelian group
positive logic
prefix notation
word
primorial
monactin
juxtaposition
nonexpression
context
antidictionary
parenthesis-free notation
polytype
Kleisli category
reverse Polish notation
Boolean derivative
postfix notation
suffix notation
walrus operator
nominal variable
eigenvalue
Gen Z
NOT function
indeterminate
anonymous class
oxylium ion
non-capturing group
monogenic
pronumeral
null
Herbrand function
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
to disgrace oneself
dioptase
depersonalization
medical science
doxorubicin
exchange meeting
rikishi
Lack of skill
minor incident
telop
push button
reentry
humanistic
hypotenuse
in a carefree manner
hydrogeology
cluster amaryllis
harmonica
mons pubis
to get in touch with
shakuhachi
LDL
familism
military spending
swoon
indivisible
alike
hazy.
jug
bedpan
sure thing
not knowing
to lose weight
in secret
a mess.
folk tale
memorial service
assiduously
uproar
insurgent
self-confidence
scapegoat
directory
without doubt
cord
to avoid
substantial
amazing
blockhead
penetration