functional
formula
tacit programming
indefinite
declaration
logical operation
logic operation
thought-bearing
postfix notation
declare
reverse Polish notation
suffix notation
extracomputational
built-in function
quantum logic
de Bruijn index
theory
congruence
de Bruijn notation
notationally
undecidable
tail recursion
actual parameter
many-valued logic
shunting-yard algorithm
algebraic structure
nonvanishing
parenthesis-free notation
lambda term
Peirce's law
notatable
Herbrand's theorem
declarative programming
second-class object
consistency
notationless
mathematicize
arithmetization
recursive function
logistic
mathematical logic
primitive recursive
proof system
parentheme
algebraic function
formalism
linear logic
conventionalism
third-class object
clausifier
birational
applicand
algebraic language
hyperbolic
Herbrand universe
prefix notation
algebraizable
Lukasiewicz notation
protosyntactical
concept
Polish notation
multimathematical
Church encoding
APL
intrinsic
calculus of variations
computable function
set theory
off-book
pure mathematics
constructive logic
prototype
Haskell
invariant
logic
Church-Rosser theorem
recursive definition
high-level
prototype extension
special function
arithmetic
formal logic
interpretation
capacity
recursion theory
predicate logic
bounded function
Baire function
logicism
thunk
definitive
imperative programming
clausify
logicomathematical
parametrically
situation theory
forcing function
complete

English words for 'Having semantics defined purely in terms of mathematical functions, without side-effects.'

As you may have noticed, above you will find words for "Having semantics defined purely in terms of mathematical functions, without side-effects.". 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