Elementary proof of strong normalization for Atomic F
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10400.2/10492 |
Resumo: | We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus Fat (a predicative restriction of Girard’s system F). |
id |
RCAP_325f3026d9afbeec6ee49bc72f6914c5 |
---|---|
oai_identifier_str |
oai:repositorioaberto.uab.pt:10400.2/10492 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
|
spelling |
Elementary proof of strong normalization for Atomic FPredicative polymorphismStrong normalizationElementary proofsLambda-calculusWe give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus Fat (a predicative restriction of Girard’s system F).Repositório AbertoFerreira, FernandoFerreira, Gilda2021-02-15T12:04:27Z20162016-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.2/10492eng0138-068010.18778/0138-0680.45.1.012449-836Xinfo: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:RCAAP2023-07-07T16:10:20ZPortal AgregadorONG |
dc.title.none.fl_str_mv |
Elementary proof of strong normalization for Atomic F |
title |
Elementary proof of strong normalization for Atomic F |
spellingShingle |
Elementary proof of strong normalization for Atomic F Ferreira, Fernando Predicative polymorphism Strong normalization Elementary proofs Lambda-calculus |
title_short |
Elementary proof of strong normalization for Atomic F |
title_full |
Elementary proof of strong normalization for Atomic F |
title_fullStr |
Elementary proof of strong normalization for Atomic F |
title_full_unstemmed |
Elementary proof of strong normalization for Atomic F |
title_sort |
Elementary proof of strong normalization for Atomic F |
author |
Ferreira, Fernando |
author_facet |
Ferreira, Fernando Ferreira, Gilda |
author_role |
author |
author2 |
Ferreira, Gilda |
author2_role |
author |
dc.contributor.none.fl_str_mv |
Repositório Aberto |
dc.contributor.author.fl_str_mv |
Ferreira, Fernando Ferreira, Gilda |
dc.subject.por.fl_str_mv |
Predicative polymorphism Strong normalization Elementary proofs Lambda-calculus |
topic |
Predicative polymorphism Strong normalization Elementary proofs Lambda-calculus |
description |
We give an elementary proof (in the sense that it is formalizable in Peano arithmetic) of the strong normalization of the atomic polymorphic calculus Fat (a predicative restriction of Girard’s system F). |
publishDate |
2016 |
dc.date.none.fl_str_mv |
2016 2016-01-01T00:00:00Z 2021-02-15T12:04:27Z |
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/10400.2/10492 |
url |
http://hdl.handle.net/10400.2/10492 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
0138-0680 10.18778/0138-0680.45.1.01 2449-836X |
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 |
|
repository.mail.fl_str_mv |
|
_version_ |
1777302857035284480 |