Um Cálculo de Continuações com Tipos Dependentes
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2018 |
| Tipo de documento: | Dissertação |
| Título da fonte: | Portal de Dados Abertos da CAPES |
| Texto Completo: | https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6944893 |
| id |
BRCRIS_d31eaa128228ffe2081016b40391b199 |
|---|---|
| network_acronym_str |
CAPES |
| network_name_str |
Portal de Dados Abertos da CAPES |
| dc.title.pt-BR.fl_str_mv |
Um Cálculo de Continuações com Tipos Dependentes |
| title |
Um Cálculo de Continuações com Tipos Dependentes |
| spellingShingle |
Um Cálculo de Continuações com Tipos Dependentes Tipos lineares. Dependent types. PAULO HENRIQUE TORRENS |
| title_short |
Um Cálculo de Continuações com Tipos Dependentes |
| title_full |
Um Cálculo de Continuações com Tipos Dependentes |
| title_fullStr |
Um Cálculo de Continuações com Tipos Dependentes Um Cálculo de Continuações com Tipos Dependentes |
| title_full_unstemmed |
Um Cálculo de Continuações com Tipos Dependentes Um Cálculo de Continuações com Tipos Dependentes |
| title_sort |
Um Cálculo de Continuações com Tipos Dependentes |
| topic |
Tipos lineares. Dependent types. |
| publishDate |
2018 |
| format |
masterThesis |
| url |
https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6944893 |
| author_role |
author |
| author |
PAULO HENRIQUE TORRENS |
| author_facet |
PAULO HENRIQUE TORRENS |
| dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/9233612150497167 |
| dc.contributor.advisor1.fl_str_mv |
Cristiano Damiani Vasconcellos CRISTIANO DAMIANI VASCONCELLOS |
| dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/7291640788372419 |
| dc.contributor.advisor1orcid.por.fl_str_mv |
https://orcid.org/0000000175814146 |
| dc.publisher.none.fl_str_mv |
UNIVERSIDADE DO ESTADO DE SANTA CATARINA |
| publisher.none.fl_str_mv |
UNIVERSIDADE DO ESTADO DE SANTA CATARINA |
| instname_str |
UNIVERSIDADE DO ESTADO DE SANTA CATARINA |
| dc.publisher.program.fl_str_mv |
Computação Aplicada |
| dc.description.course.none.fl_txt_mv |
Computação Aplicada |
| reponame_str |
Portal de Dados Abertos da CAPES |
| collection |
Portal de Dados Abertos da CAPES |
| spelling |
CAPESPortal de Dados Abertos da CAPESUm Cálculo de Continuações com Tipos DependentesUm Cálculo de Continuações com Tipos DependentesUm Cálculo de Continuações com Tipos DependentesUm Cálculo de Continuações com Tipos DependentesUm Cálculo de Continuações com Tipos DependentesUm Cálculo de Continuações com Tipos DependentesUm Cálculo de Continuações com Tipos DependentesTipos lineares.2018masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=6944893authorPAULO HENRIQUE TORRENShttp://lattes.cnpq.br/9233612150497167Cristiano Damiani Vasconcelloshttp://lattes.cnpq.br/7291640788372419https://orcid.org/0000000175814146UNIVERSIDADE DO ESTADO DE SANTA CATARINAUNIVERSIDADE DO ESTADO DE SANTA CATARINAUNIVERSIDADE DO ESTADO DE SANTA CATARINAComputação AplicadaComputação AplicadaPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
| identifier_str_mv |
TORRENS, PAULO HENRIQUE. Um Cálculo de Continuações com Tipos Dependentes. 2018. Tese. |
| dc.identifier.citation.fl_str_mv |
TORRENS, PAULO HENRIQUE. Um Cálculo de Continuações com Tipos Dependentes. 2018. Tese. |
| _version_ |
1741889467104362496 |