extensional equality
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of extensional equality words
- noun Technical meaning of extensional equality (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. 1
Information block about the term
Parts of speech for Extensional equality
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with e
- Words starting with ex
- Words starting with ext
- Words starting with exte
- Words starting with exten
- Words starting with extens
- Words starting with extensi
- Words starting with extensio
- Words starting with extension
- Words starting with extensiona
- Words starting with extensional
- Words starting with extensionale
- Words starting with extensionaleq
- Words starting with extensionalequ
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?