| 
|
QuoteRef: scotD_1970
topics >
all references >
ThesaHelp:
references sa-sz
Group:
function
Topic:
lattice theory of types
Reference
Scott, D., "Outline of a mathematical theory of computation", Proceedings of the Fourth Annual Princeton Conference on Information Sciences and Systems, pp. 169-176, 1970. Google
169 ;;Quote: mathematical functions are independent of their implementation and hence simpler than a sequence of operations
170 ;;Quote: in lattice theory, allow elements of a data type which approximate other elements
174 ;;Quote: define the lattice for integers as: bottom, the integers, top
ThesaHelp: references sa-sz (237 items)
Group: function (12 topics, 232 quotes)
Topic: lattice theory of types (15 items)