Dictionary    Maps    Thesaurus    Translate    Advanced >   


Tip: Click a synonym from the results below to see its synonyms.
No results could be found matching the exact term extensional equality in the thesaurus.
Try one of these suggestions:
equation  esteem  esteemed  estimable  estimate  estimation  exceedingly  excitement  exciting  extant  extemporaneous  extemporize  extend  extended  extension  extensive  extent  extenuate  extenuating  extinct  extinction  extinguish  extinguisher 

Consider searching for the individual words extensional, or equality.
Dictionary Results for extensional equality:
1. The Free On-line Dictionary of Computing (30 December 2018)
extensional equality
extensionality

   (Or extensionality).  Functions, f and g are extensionally
   equal if and only if

   	f x = g x  for all x.

   where "=" means both expressions fail to terminate (under some
   given reduction strategy) or they both terminate with the
   same basic value.

   Two functions may be extensionally equal but not
   inter-convertible (neither is reducible to the other).  E.g.
   \ x . x+x and \ x . 2*x.  See also observational
   equivalence, referential transparency.
Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy