| 
|
Quote: if types define subsets of a universal type, then their unions and intersections are well-defined
topics >
all references >
references p-r >
Topic:
data type as a set of values
Group:
sets
Topic:
universal data type
Topic:
union data type
Topic:
lattice theory of types
Group:
mathematics
Topic:
set definition by extension or intension
Topic:
abstraction
Quotation Skeleton
More recently, however, many formalizations have treated types … [refs]. This work has stemmed from Scott's discovery of how to … if types denote specific subsets of a universe … [p. 513] Intuitively, ["Professor Descartes and Professor Bessel"] thought of sequences of integers … are undefined. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: shouldn't there be types sufficiently different that they do not induce union or intersection types? Quote: Scott's type theory defines types on a universal set while avoiding Russell's paradox
Topic: data type as a set of values (20 items)
Group: sets (7 topics, 148 quotes)
Topic: universal data type (18 items)
Topic: union data type (12 items)
Topic: lattice theory of types (15 items)
Group: mathematics (23 topics, 554 quotes)
Topic: set definition by extension or intension (18 items)
Topic: abstraction (62 items)