Etiqueta de registo: 00000nx a22000253 45
001 1210691
100 ## $a20050825apory0103 ba0
152 ## $aRPC
200 #1 $aFrade,$bMaria João Gomes
801 #0 $aPT$bBN
810 ## $aType-based termination of recursive definitions and constructor subtyping in typed lambda calculi
830 ## $aDoutoramento em Informática
ver registos bibliográficos associados