Map
Index
Random
Help
th

Quote: if types define subsets of a universal type, then their unions and intersections are well-defined

topics > all references > references p-r > QuoteRef: reynJC9_1983 , p. 513



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

Related Topics up

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)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.