other way, e.g. using {seq} in {Miranda} or returning a

function as the overall result of a program, then bottom and \ x . bottom will not be equivalent.

See also observational equivalence, reduction.

Nearby terms:

other way, e.g. using {seq} in {Miranda} or returning a as the industry standard.

Try this search on Wikipedia, OneLook, Google


Loading