| 
|
Quote: Scott's universal domain is both typeless and contains an infinite hierarchy of types
topics >
all references >
references c-d >
Topic:
type retract
Quotation Skeleton
These domains exhibit another interesting characteristic: as Scott … -- and as "infinitely typed" --i.e., as being … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: type retract (12 items)