Turing e a normalização

Detalhes bibliográficos
Autor(a) principal: Espírito Santo, José
Data de Publicação: 2012
Tipo de documento: Artigo
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/20940
Resumo: Em publicação
id RCAP_3d99466c5b85df7537e5af1d392a2625
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/20940
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Turing e a normalizaçãoNormalizaçãoTeoria dos tiposCálculo lambdaNormalizationType theoryLambda-calculusEm publicaçãoAlgumas contribuições de Turing em Lógica dizem respeito à Teoria de Tipos e foram desenvolvidas durante a Segunda Guerra Mundial. Um dos resultados desse trabalho é uma demonstração do teorema da normalização para tipos simples, que permaneceu ignorada durante 40 anos. O resultado de Turing é, portanto, um dos episódios da complicada história da (re)descoberta da normalização.The part of Turing's work in Logic concerning Type Theory was developed during Second World War. He obtained a proof of the normalization theorem for simple types, but his result was ignored for 40 years. Turing's result is therefore one of the episodes in the complex history of (re)discovery of normalization.Universidade do MinhoEspírito Santo, José20122012-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/1822/20940por0872-3672info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-05-11T06:36:14Zoai:repositorium.sdum.uminho.pt:1822/20940Portal AgregadorONGhttps://www.rcaap.pt/oai/openairemluisa.alvim@gmail.comopendoar:71602024-05-11T06:36:14Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Turing e a normalização
title Turing e a normalização
spellingShingle Turing e a normalização
Espírito Santo, José
Normalização
Teoria dos tipos
Cálculo lambda
Normalization
Type theory
Lambda-calculus
title_short Turing e a normalização
title_full Turing e a normalização
title_fullStr Turing e a normalização
title_full_unstemmed Turing e a normalização
title_sort Turing e a normalização
author Espírito Santo, José
author_facet Espírito Santo, José
author_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Espírito Santo, José
dc.subject.por.fl_str_mv Normalização
Teoria dos tipos
Cálculo lambda
Normalization
Type theory
Lambda-calculus
topic Normalização
Teoria dos tipos
Cálculo lambda
Normalization
Type theory
Lambda-calculus
description Em publicação
publishDate 2012
dc.date.none.fl_str_mv 2012
2012-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/20940
url http://hdl.handle.net/1822/20940
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv 0872-3672
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv mluisa.alvim@gmail.com
_version_ 1817545029048074240