Etiqueta de registo: 00880nam 2200217 450
001 1329681
003 http://id.bnportugal.gov.pt/bib/porbase/1329681
035 ## $a(bn)1329681
100 ## $a20050721d2003 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aType-based termination of recursive definitions and constructor subtyping in typed lambda calculi$bTexto policopiado]$fMaria João Gomes Frade
210 #9 $aBraga$c[s.n.],$d2003
215 ## $aXIV, 188 p.$cil.$d30 cm
320 ## $aBibliografia, p. 179-188
328 ## $aTese dout.$cInformática$eDepartamento de Informática, Escola de Engenharia, Univ. do Minho$d2003
675 ## $a519.71(043)$vBN$zpor$31221374
700 #1 $aFrade,$bMaria João Gomes$31210691
712 02 $aUniversidade do Minho.$bEscola de Engenharia$bDepartamento de Engenharia de Informática$4295$31210697
966 ## $lBN$mFGMON$sS.A. 111285 V.$x1