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

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