| 
|
Quote: defines semantics of FFP systems by the least fixed point operator; determines value given an expression
topics >
all references >
references a-b >
Topic:
reduction languages
Quotation Skeleton
With these assumptions we define .mu. as the … any function .mu.. … The above description of .mu. expands the operator … This concludes the semantics of FFP systems. … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: reduction languages (17 items)