Turing e a normalização
Autor(a) principal: | |
---|---|
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 |