Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos

Detalhes bibliográficos
Autor(a) principal: BRUNO RIGONATO MUNDIM
Data de Publicação: 2013
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=240940
id BRCRIS_60df3da4328a663edc4c31cdd0f464fb
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
title Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
spellingShingle Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
Intuitionistic type theory, Martin-Löf, Propositions as sets/types.
Teoria Intuicionista de Tipos, Martin-Löf, Proposições como conjuntos/tipos.
BRUNO RIGONATO MUNDIM
title_short Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
title_full Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
title_fullStr Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
title_full_unstemmed Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
title_sort Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos
topic Intuitionistic type theory, Martin-Löf, Propositions as sets/types.
Teoria Intuicionista de Tipos, Martin-Löf, Proposições como conjuntos/tipos.
publishDate 2013
format masterThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=240940
author_role author
author BRUNO RIGONATO MUNDIM
author_facet BRUNO RIGONATO MUNDIM
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5702242130984300
dc.contributor.advisor1.fl_str_mv ANDRE DA SILVA PORTO
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3598537464598916
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE GOIÁS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE GOIÁS
instname_str UNIVERSIDADE FEDERAL DE GOIÁS
dc.publisher.program.fl_str_mv FILOSOFIA
dc.description.course.none.fl_txt_mv FILOSOFIA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos TiposUma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos TiposUma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos TiposUma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos TiposUma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos TiposUma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos TiposUma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos TiposIntuitionistic type theory, Martin-Löf, Propositions as sets/types.2013masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=240940authorBRUNO RIGONATO MUNDIMhttp://lattes.cnpq.br/5702242130984300ANDRE DA SILVA PORTOhttp://lattes.cnpq.br/3598537464598916UNIVERSIDADE FEDERAL DE GOIÁSUNIVERSIDADE FEDERAL DE GOIÁSUNIVERSIDADE FEDERAL DE GOIÁSFILOSOFIAFILOSOFIAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv MUNDIM, BRUNO RIGONATO. Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos. 2013. Tese.
dc.identifier.citation.fl_str_mv MUNDIM, BRUNO RIGONATO. Uma Abordagem sobre a concepção de Proposição da Teoria Intuicionista dos Tipos. 2013. Tese.
_version_ 1741885257187065856

Registros relacionados