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

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