Etiqueta de registo: 00368nx b22001093 45
001 1210697
100 ## $a20050825apory0103 ba0
102 ## $aPT
152 ## $aRPC
210 02 $aUniversidade do Minho.$bEscola de Engenharia$bDepartamento de Engenharia de Informática
410 02 $aDepartamento de Informática da Escola de Engenharia da Universidade do Minho$31265239
801 #0 $aPT$bBN
810 ## $aType-based termination of recursive definitions and constructor subtyping in typed lambda calculi
ver registos bibliográficos associados