LEADER 01442nam--2200397---45--
001 990000375420203316
010   $a3-540-41517-3
035   $a0037542
035   $aUSA010037542
035   $a(ALEPH)000037542USA01
035   $a0037542
100   $a20010327d2000----km-y0ITAy0103-------ba
101 0 $aENG
102   $aDE
200 1 $aTypes for proofs and programs$eInternational workshop, TYPES'99$eLokeberg, Sweden, June 12-16, 1999$eselected papers$fThierry Coquand ... [et al.] (eds.)
210   $aBerlin$cSpringer-Verlag$dcopyr. 2000
215   $a193 p.$cill.$d20 cm.
225 2 $aLecture notes in computer science$v1956
410   $12001$aLecture notes in computer science$v1956
610 1 $aLogica matematica$aCongressi$a1999
610 1 $aElaboratori elettronici$aProgrammazione$aCongressi$a1999
610 1 $aElaboratori elettronici$aCongressi$a1999
610 1 $aCongressi$aLokeberg$a1999
702  1$aCoquand,$bThierry
710 12$aInternatinal workshop, TYPES'99 <1999 ; Lokeberg, Sweden>$0543993
801  0$aITA$bCBS$gISBD
912   $a990000375420203316
951   $a001 LNCS (1956)$b0026035 CBS$c001$d00104426
959   $aBK
969   $aSCI
979   $aALANDI$b90$c20010327$lUSA01$h1045
979   $aALANDI$b90$c20010518$lUSA01$h1135
979   $c20020403$lUSA01$h1645
979   $aPATRY$b90$c20040406$lUSA01$h1626
996   $aTypes for proofs and programs$9875306
997   $aUNISA