extensional equality - (Or extensionality). Functions, f and g are extensionally
equal if and only iff 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

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

extensionality

Extensionist

Extensive

Extensively

Extensiveness

Extensometer

Extensor

extensor muscle

Extensure

Extent

Extent in aid

Extent in chief

Extenuate

extenuating

Extenuation

Extenuator