II. Notes on Data Structuring * - Cornell University
II. Notes on Data Structuring * - Cornell University
II. Notes on Data Structuring * - Cornell University
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
168 c.A.R. HOARE<br />
The additi<strong>on</strong>al axioms for this type are:<br />
(10) T.min = k<br />
& T. max = I.<br />
(11) T(To(x)) = x.<br />
(12) k