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.