LEADER 01408nam--2200397---450 
001 990001109990203316
005 20180312154824.0
010   $a3-540-43287-6
035   $a000110999
035   $aUSA01000110999
035   $a(ALEPH)000110999USA01
035   $a000110999
100   $a20021202d2002----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aTypes for proofs and programs$eInternational Workshop, TYPES 2000$eDurham ,UK, December 8-12, 2000$eSelected papers$fPaul Callaghan... <et al.> (eds.)
210   $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 2002
215   $a242 p.$cill.$d20 cm
225   $aLecture notes in computer science$v2277
410   $12001$aLecture notes in computer science$v2277
610 1 $aLogica matematica$aCongressi$a2000
676   $a511.30285
702  1$aCALLAGHAN,$bPaul
710 12$aInternational workshop, TYPES 2000 <2000 ; Durham ; UK >$0554397
801  0$aITA$bCBS$gISBD
912   $a990001109990203316
951   $a001 LNCS (2277)$b0026778 CBS$c001$d00112123
959   $aBK
969   $aSCI
979   $aDIGIUSEPPE$b90$c20021202$lUSA01$h1155
979   $aDIGIUSEPPE$b90$c20021202$lUSA01$h1428
979   $aDIGIUSEPPE$b90$c20021202$lUSA01$h1430
979   $aPATRY$b90$c20040406$lUSA01$h1717
979   $aFIORELLA$b90$c20070322$lUSA01$h1606
996   $aTypes for proofs and programs$9981087
997   $aUNISA