Quote: solving partial functions for recursion is finding a fixed point; complete lattices guarantee this fixed point

Quotation Skeleton

we have the well-known mathematical fact that monotonic … What does all this theory have to do … Commands (programs) are naturally thought of as defining … fixed points in certain functional equations."   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: lattice theory of types (15 items)