import/CMSwp-all.00000101/00000114.nul indexed_doc NulPlugin 0 00000114.nul 00000114.nul CMSwp-all.00000101/00000114.nul 1 Reeves, Steve, 1957- University of Waikato. Dept. of Computer Science. 1994. "June 1994." Includes bibliographical references (p. 34). Hamilton, N.Z. : University of Waikato, Dept. of Computer Science, PICTCalc Computer programming. A calculator for supporting derivation in constructive type theory : PICTCalc / by Steve Reeves. 00000114 HASHe98414e47565a9d5d39ac7 1522045362 20180326 1522045419 20180326 HASHe984.dir This document has no text.