Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/159222| Autor(es): | Pedro Jorge Fernandes Ângelo |
| Título: | Gradual Intersection Types |
| Data de publicação: | 2024-06-03 |
| Assunto: | Ciências da computação e da informação Computer and information sciences |
| Áreas do conhecimento: | Ciências exactas e naturais::Ciências da computação e da informação Natural sciences::Computer and information sciences |
| DOI: | 10.34626/3tzf-hb40 |
| Identificador TID: | 101626355 |
| URI: | https://hdl.handle.net/10216/159222 |
| Tipo de Documento: | Tese |
| Condições de Acesso: | openAccess |
| Aparece nas coleções: | FCUP - Tese |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 677167.pdf | Gradual Intersection Types | 1.6 MB | Adobe PDF |  Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.