| 
|
Quote: in Scott's universal domain, an element can be a value, an argument, an integer, a function, and a combinator
topics >
all references >
references sa-sz >
Topic:
universal data type
Topic:
self reference
Quotation Skeleton
This combination of the finite with the infinite … its graph (in the end, a set of … as an argument, then as an integer, then … in x(x)) is solved by allowing the same … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: self-application in Scott's universal domain by allowing the same x to be used in two different ways
Topic: universal data type (18 items)
Topic: self reference (27 items)