| 
|
Quote: type retracts are themselves values of the universal domain
topics >
all references >
references c-d >
Topic:
type retract
Quotation Skeleton
A retract [as defined by Scott] is a continuous function f:D->D … . Thus, we may consider as the data … with these subdomains as their ranges. … thus, the data types of a universal domain … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a type retract is a continuous function which is the identity over its range (a proper subspace of D) Quote: a data type of the universal domain is the type retract for a proper subdomain of the universal domain
Topic: type retract (12 items)