Map
Index
Random
Help
th

Quote: Scott proved the existence of a universal domain that contains sub-domains including function spaces

topics > all references > references sa-sz > QuoteRef: straC3_1973 , p. 8



Group:
sets
Topic:
lattice theory of types

Quotation Skeleton

In a further extremely elegant piece of work … [Scott] … + [ U + U ] + [ U x U ] + [ U -> U ] where A … able to show that these include all the … and the domain constructing operators +., x. and …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Group: sets   (7 topics, 148 quotes)
Topic: lattice theory of types (15 items)

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