import/CMSwp-all.marc url indexed_doc en utf8 CMSwp-all.marc CMSwp-all.marc 114 MARCPlugin MARC Reeves, Steve, 1957- A calculator for supporting derivation in constructive type theory : PICTCalc / by Steve Reeves. Hamilton, N.Z. : University of Waikato, Dept. of Computer Science, 1994. "June 1994." Includes bibliographical references (p. 34). PICTCalc Computer programming. University of Waikato. Dept. of Computer Science. HASH6a30b66a3a5419ad674b26s114 1678162979 20230307 1678163025 20230307 HASH6a30/b66a3a54/19ad674b/26s114.dir <pre> LDR 00877cam 2200229 a 4500 001 261306 010 _o zbn94-83735 035 _a (nzNZBN)8527101 008 s1994 nz a b eng d 035 _9 ABD-9971 092 _a QA75.5.W926 no.94/8 100 10 _a Reeves, Steve, _d 1957- 245 12 _a A calculator for supporting derivation in constructive type theory : _b PICTCalc / _c by Steve Reeves. 260 0 _a Hamilton, N.Z. : _b University of Waikato, Dept. of Computer Science, _c 1994. 300 _a 34 p. : _b ill. ; _c 30 cm. 490 1 _a Working paper series, _x 1170-487X ; _v 94/8 500 _a "June 1994." 504 _a Includes bibliographical references (p. 34). 650 0 _a PICTCalc 650 0 _a Computer programming. 710 20 _a University of Waikato. _b Dept. of Computer Science. 830 0 _a Working paper series (University of Waikato. Dept. of Computer Science) ; _v 94/8. </pre>