Word:

extensional equality

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.
Browse
Extensible Shell
Extensible Stylesheet Language
Extensible Stylesheet Language Transformations
Extensible VAX Editor
Extensibleness
Extensile
Extension
extension agent
extension cord
extension course
extension ladder
Extension Language Kit
extension phone
extension service
Extension table
Extensional
-- extensional equality --
extensionality
Extensionist
Extensive
Extensively
Extensiveness
Extensometer
Extensor
extensor muscle
Extensure
Extent
Extent in aid
Extent in chief
Extenuate
extenuating
Extenuation
Extenuator
Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home