Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  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 


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.


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017