Etiqueta de registo: 00659cam 2200217 450
001 1086136
003 http://id.bnportugal.gov.pt/bib/catbnp/1086136
005 20030117155300.0
100 ## $a20020624d2001 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aInferência de tipos e resolução de restrições$bTexto policopiado]$fSandra Maria Mendes Alves
210 #9 $aPorto$c[s.n.],$d2001
215 ## $a112 p.$cil.$d30 cm
320 ## $aBibliografia, p. 103-105
328 ## $aTese mestr. Informática, Univ. Porto, 2001
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aAlves,$bSandra Maria Mendes$31052455
966 ## $lBN$mFGMON$sS.A. 7676 A.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702624
003 http://id.bnportugal.gov.pt/bib/catbnp/1702624
100 ## $a20090213d2007 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLinearisation of the lambda-calculus$fSandra Maria Mendes Alves$gorient. Mário Florido
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a197 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese dout.$cCiência de Computadores$eDep, de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.85(043)$vBN$zpor$31221125
700 #1 $aAlves,$bSandra Maria Mendes$31052455
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15749 P.$x1
966 ## $lBN$mFGMON$sP. 25659 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1288572
003 http://id.bnportugal.gov.pt/bib/catbnp/1288572
021 ## $aPT$b1998831/03
100 ## $a20040729d2003 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aGestão e promoção de CDTI$emanual do formando$fSandra Alves
205 ## $a1ª ed
210 #9 $aLisboa$cFundação para a Divulgação das Tecnologias de Informação,$d2003
215 ## $a123 p.$cil.$d30 cm
675 ## $a004.73(076)$vBN$zpor$3795170
675 ## $a377(469)$vBN$zpor$3323608
700 #1 $aAlves,$bSandra Maria Mendes$31052455
900 ## $aBIBNAC$d20130602
966 ## $lBN$mFGMON$sP. 19910 V.$x1
966 ## $lBN$mFGMON$sP. 19910 V.$x1

Etiqueta de registo: 00254nam 2200025 450
001 2292686
003 http://id.bnportugal.gov.pt/bib/catbnp/2292686
100 ## $a20260818d2026 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $a A quantitative study of higher-order computations with effects$fMiguel Ramos$gorient. Sandra Alves, Delia Kesner
210 #9 $aPorto$c[s.n.], $d2026
215 ## $a355 p.$d30 cm
328 #1 $aTese doutoramento Ciências de Computadores, Universidade do Porto, Faculdade de Ciências, 2026
675 ## $a004.82(043)$vBN$zpor$31209577
700 #1 $99$aRamos,$bMiguel$32006415
702 #1 $aAlves,$bSandra Maria Mendes$4727$31052455
702 #1 $aKesner,$bDelia $32006417
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 73575 V.$x1
971 ## $cjbeatriz$d20260818
973 ## $cigoulao$d20260908