| 
|
Quote: in lattice theory, the set of partial functions are ordered by approximateness
topics >
all references >
references sa-sz >
Topic:
lattice theory of types
Quotation Skeleton
in the last section we found it necessary … [ S -> S ] … [i.e., S includes the result undefined]. The set of all partial functions is partially ordered by … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: lattice theory of types (15 items)