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

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

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