import/CMSwp-all.00000101/00000116.nul indexed_doc NulPlugin 0 00000116.nul 00000116.nul CMSwp-all.00000101/00000116.nul 1 University of Waikato. Dept. of Computer Science. Reeves, Steve, 1957- 1994. Includes bibliographical references (p. 34). "June 1994." University of Waikato, Dept. of Computer Science, Hamilton, N.Z. : PICTCalc Computer programming. A calculator for supporting derivation in constructive type theory : PICTCalc / by Steve Reeves. 00000116 HASH01298c15e49567aa15db9bc7 1376472185 20130814 1376472265 20130814 HASH0129/8c15e495.dir This document has no text.