| 
|
QuoteRef: scotD9_1976
topics >
all references >
ThesaHelp:
references sa-sz
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. 522-587, September 1976. Google
522 ;;Quote: Scott's universal domain is the set of all subsets of non-negative 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: self-application 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
ThesaHelp: references sa-sz (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)