LEADER 01260nam--2200373---450 
001 990000948550203316
005 20180312154617.0
010   $a3-540-42196-6
035   $a0094855
035   $aUSA010094855
035   $a(ALEPH)000094855USA01
035   $a0094855
100   $a20020206d2001----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aTypes in compilation$ethirth International workshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised selected papers$fRobert Harper (ed.)
210   $aBerlin$cSpringer$dcopyr. 2001
215   $a206 p.$cill.$d20 cm
225 2 $aLecture notes in computer science$v2071
410   $12001$aLecture notes in computer science$v2071
610 1 $aLinguaggi di programmazione$aCongressi$a2000
676   $a005.13
702  1$aHarper,$bRobert
710 12$aInternational workshop, TIC 2000 <3. ; 2001 ; Montreal, Canada >$0552445
801  0$aITA$bCBS$gISBD
912   $a990000948550203316
951   $a001 LNCS (2071)$b0026606 CBS$c001$d00110788
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20020206$lUSA01$h1201
979   $c20020403$lUSA01$h1737
979   $aPATRY$b90$c20040406$lUSA01$h1705
996   $aTypes in compilation$9973986
997   $aUNISA