A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D?
| Data de Publicação: | 2020 |
|---|---|
| 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=8818066 |
| id |
BRCRIS_aea915561d3e751b53d230c9fdd8080b |
|---|---|
| network_acronym_str |
CAPES |
| network_name_str |
Portal de Dados Abertos da CAPES |
| dc.title.pt-BR.fl_str_mv |
A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? |
| title |
A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? |
| spellingShingle |
A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? Lambda calculus. Extensional lambda model. Infinity groupoid. Calculo lambda. Modelo extensional lambda. Groupoide infinito. |
| title_short |
A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? |
| title_full |
A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? |
| title_fullStr |
A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? |
| title_full_unstemmed |
A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? |
| title_sort |
A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D? |
| topic |
Lambda calculus. Extensional lambda model. Infinity groupoid. Calculo lambda. Modelo extensional lambda. Groupoide infinito. |
| publishDate |
2020 |
| format |
masterThesis |
| url |
https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=8818066 |
| author_role |
author |
| dc.contributor.advisor1.fl_str_mv |
RUY JOSE GUERRA BARRETTO DE QUEIROZ |
| dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/1825502153580661 |
| dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
| publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
| instname_str |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
| dc.publisher.program.fl_str_mv |
CIÊNCIAS DA COMPUTAÇÃO |
| dc.description.course.none.fl_txt_mv |
CIÊNCIAS DA COMPUTAÇÃO |
| reponame_str |
Portal de Dados Abertos da CAPES |
| collection |
Portal de Dados Abertos da CAPES |
| spelling |
CAPESPortal de Dados Abertos da CAPESA ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D?A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D?A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D?A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D?A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D?A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D?A ?-Model with ?-Groupoid Structure based in the ?-Model Scott?s D?Lambda calculus. Extensional lambda model. Infinity groupoid.2020masterThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=8818066authorRUY JOSE GUERRA BARRETTO DE QUEIROZhttp://lattes.cnpq.br/1825502153580661UNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOCIÊNCIAS DA COMPUTAÇÃOCIÊNCIAS DA COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
| _version_ |
1741886250779934720 |