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