ThesaHelp: references sasz
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. 169176, 1970.
Google
Quotations
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

Related Topics
ThesaHelp: references sasz (237 items)
Group: function (12 topics, 232 quotes)
Topic: lattice theory of types (15 items)
