ThesaHelp: references sasz
Topic: primitive data type as memory
Topic: universal data type
Topic: self reference
Topic: type retract
 
Reference
Scott, D.,
"Data types as lattices",
SIAM Journal of Computing, 5, 3, pp. 522587, September 1976.
Google
Quotations
522 ;;Quote: Scott's universal domain is the set of all subsets of nonnegative integers
 523 ;;Quote: in Scott's universal domain, an element can be a value, an argument, an integer, a function, and a combinator
 523+;;Quote: selfapplication in Scott's universal domain by allowing the same x to be used in two different ways
 540 ;;Quote: the identity function on functions is a retract for all functions
 540+;;Quote: a type retract is a function which is the identity on its range

Related Topics
ThesaHelp: references sasz (237 items)
Topic: primitive data type as memory (29 items)
Topic: universal data type (18 items)
Topic: self reference (27 items)
Topic: type retract (12 items)
