combinator
lambda abstraction
captureless
sentence
anonymous function
closed
closed formula
beta reduction
eta conversion
monome
de Bruijn notation
alpha conversion
nonparameterized
indeterminant
open
de Bruijn index
nonpointer
aparametric
spectrum
const
lambda calculus
free variable
third-class object
newless
infinitesimal
applicand
lambda term
singular statement
reserved word
n-type
polynomial
projective module
unparameterizable
nonparameterizable
Church encoding
subject
nonvariable
nitrosolic acid
bar
prefix notation
positive logic
unconjecturable
nonpolynomial
Lukasiewicz notation
nonsampling
word
magic
Polish notation
free abelian group
unprenylated
monactin
parameterless
juxtaposition
primorial
nonexpression
anisomorphic
unisomorphic
context
nonisomorphic
cofree
antidictionary
unstringed
polytype
Kleisli category
unparenthesized
parenthesis-free notation
unalgebraical
walrus operator
Boolean derivative
postfix notation
suffix notation
reverse Polish notation
nonfunctional
suffixless
undelegated
anonymous class
eigenvalue
nonalgebraic
unalgebraic
oxylium ion
NOT function
unconjectured
indeterminate
nominal variable
Gen Z
nontensorial
de Bruijn-Newman constant
expressionless
monogenic
nonrecursive
pronumeral
unassigned
null
non-capturing group
Herbrand function
linearly dependent
functionless
genexp
stringless
captureless
closed
nonparameterized
open
aparametric
newless
unparameterizable
nonparameterizable
nonvariable
unconjecturable
nonsampling
magic
unprenylated
parameterless
anisomorphic
unisomorphic
nonisomorphic
cofree
unstringed
unparenthesized
unalgebraical
nonfunctional
suffixless
undelegated
nonalgebraic
unalgebraic
unconjectured
nontensorial
expressionless
nonrecursive
unassigned
linearly dependent
functionless
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
third-class object
infinitesimal
applicand
lambda term
singular statement
reserved word
n-type
polynomial
projective module
Church encoding
subject
nitrosolic acid
bar
prefix notation
positive logic
nonpolynomial
Lukasiewicz notation
word
Polish notation
free abelian group
monactin
juxtaposition
primorial
nonexpression
context
antidictionary
polytype
Kleisli category
parenthesis-free notation
walrus operator
Boolean derivative
postfix notation
suffix notation
reverse Polish notation
anonymous class
eigenvalue
oxylium ion
NOT function
indeterminate
nominal variable
Gen Z
monogenic
pronumeral
null
non-capturing group
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 pass (time)
animal strength
-y
crystallography
to slip away
the elements
Partiality
A lord
with curiosity
potency.
malted rice
Not trendy
jawbone
mountaineer
concealing
keeping pace with
to go home
excess profit
bare feet
mining rights
backward compatibility
fish eggs
chest protector
balk
power behind the throne
to disparage
A boy
outer edge
congratulatory gift
hourly
sentinel
a certain ...
culprit
to jar
palsy
lying.
To a great extent
validation
to differ
willing
cracking
idle.
disabled person
to be sharp
to observe
for that reason
repair
dreadful
wealth
waste