Map
Index
Random
Help
th

Quote: defines semantics of FFP systems by the least fixed point operator; determines value given an expression

topics > all references > references a-b > QuoteRef: backJ8_1978a , p. 634



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.


Related Topics up

Topic: reduction languages (17 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.