Etiqueta de registo: 00254nam 2200025 450
001 2240072
003 http://id.bnportugal.gov.pt/bib/catbnp/2240072
100 ## $a20251223d2024 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aGradual intersection types$fPedro Jorge Fernandes Ângelo$gorient. Mário da Silva Marcos Florido
210 #9 $aPorto$c[s.n.],$d2024
215 ## $aXIV, 198 p.$d30 cm
328 #1 $aTese dout. Ciência de Computadores, Fculdade de Ciências, Universidade do Porto, 2024
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43Java(043)$vBN$zpor$3971390
700 #1 $aÂngelo,$bPedro Jorge Fernandes$31974785
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$x1
971 ## $cisantos$d20251223
973 ## $cigoulao$d20260109