| 
|
Quote: in a reduction language can reduce any subexpression without changing its value
topics >
all references >
references a-b >
Topic:
referential transparency
Topic:
reduction machines
Quotation Skeleton
one can replace any subexpression of an expression … [in any order] … (c) be closer to the result [unless the sub- expression is its own value]. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: reduce an expression by replacing a subexpression by its value; reduction language
Topic: referential transparency (26 items)
Topic: reduction machines (14 items)