Compilação de um Cálculo Lambda Estendido para Supercombinadores

Detalhes bibliográficos
Autor(a) principal: MARCO RODRIGO COSTA
Data de Publicação: 2000
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_07b8fad6bd3df0d19876d02f6b59369d
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Compilação de um Cálculo Lambda Estendido para Supercombinadores
title Compilação de um Cálculo Lambda Estendido para Supercombinadores
spellingShingle Compilação de um Cálculo Lambda Estendido para Supercombinadores
MARCO RODRIGO COSTA
title_short Compilação de um Cálculo Lambda Estendido para Supercombinadores
title_full Compilação de um Cálculo Lambda Estendido para Supercombinadores
title_fullStr Compilação de um Cálculo Lambda Estendido para Supercombinadores
Compilação de um Cálculo Lambda Estendido para Supercombinadores
title_full_unstemmed Compilação de um Cálculo Lambda Estendido para Supercombinadores
Compilação de um Cálculo Lambda Estendido para Supercombinadores
title_sort Compilação de um Cálculo Lambda Estendido para Supercombinadores
publishDate 2000
format masterThesis
author_role author
author MARCO RODRIGO COSTA
author_facet MARCO RODRIGO COSTA
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/9255787181055319
dc.contributor.advisor1.fl_str_mv MARIZA ANDRADE DA SILVA BIGONHA
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6660127471891321
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0002-3471-0452
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE MINAS GERAIS
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE MINAS GERAIS
instname_str UNIVERSIDADE FEDERAL DE MINAS GERAIS
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESCompilação de um Cálculo Lambda Estendido para SupercombinadoresCompilação de um Cálculo Lambda Estendido para SupercombinadoresCompilação de um Cálculo Lambda Estendido para SupercombinadoresCompilação de um Cálculo Lambda Estendido para SupercombinadoresCompilação de um Cálculo Lambda Estendido para SupercombinadoresCompilação de um Cálculo Lambda Estendido para SupercombinadoresCompilação de um Cálculo Lambda Estendido para Supercombinadores2000masterThesisauthorMARCO RODRIGO COSTAhttp://lattes.cnpq.br/9255787181055319MARIZA ANDRADE DA SILVA BIGONHAhttp://lattes.cnpq.br/6660127471891321https://orcid.org/0000-0002-3471-0452UNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv COSTA, MARCO RODRIGO. Compilação de um Cálculo Lambda Estendido para Supercombinadores. 2000. Tese.
dc.identifier.citation.fl_str_mv COSTA, MARCO RODRIGO. Compilação de um Cálculo Lambda Estendido para Supercombinadores. 2000. Tese.
_version_ 1741889195383717888

Registros relacionados