00777cam a2200193 a 450000500170000000800410001702000150005803500150007305000200008824501760010826000370028430000110032144000490033265000420038165000340042370000270045770000250048471100740050920260819085404.0080624s1986    gw      r     100|0 eng |  a3540580859  a.b1140648300aQA76.9 A96bT9700aTypes for proofs and programs :binternational workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /cHenk Barendregt and Tobias Nipkow (eds.)  aBerlin :bSpringer-Verlag,c1994  a383 p. 0aLecture notes in computer science ;vno. 806 0aAutomatic theorem provingvCongresses 0aComputer programsvCongresses1 aBarendregt, Henk,eed.1 aNipkow, Tobias,eed.2 aInternational Workshop TYPES '93d(1993 :cNijmegen, The Netherlands)