Elementary proof of strong normalization for Atomic F

Bibliographic Details
Main Author: Ferreira, Fernando
Publication Date: 2016
Other Authors: Ferreira, Gilda
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10400.2/10492
Summary: 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órios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
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.01info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-02-26T10:02:10Zoai:repositorioaberto.uab.pt:10400.2/10492Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T21:16:09.060415Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
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
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órios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833599181962346496

Similar Items