The computational content of atomic polymorphism

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorFerreira, Gilda-
Autor(es): dc.creatorVasconcelos, Vasco T-
Data de aceite: dc.date.accessioned2020-09-24T17:29:15Z-
Data de disponibilização: dc.date.available2020-09-24T17:29:15Z-
Data de envio: dc.date.issued2020-03-02-
Data de envio: dc.date.issued2020-03-02-
Data de envio: dc.date.issued2019-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/9415-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/9415-
Descrição: dc.descriptionWe show that the number-theoretic functions de nable in the atomic polymorphic system (Fat) are exactly the extended polynomials. Two proofs of the above result are presented: one reducing the functions' de n- ability problem in Fat to de nability in the simply typed lambda-calculus and other directly adapting Helmut Schwichtenberg's strategy for de nability in the simply typed lambda-calculus to the atomic polymorphic setting. The uniformity granted in the polymorphic system, when compared with the simply typed lambda-calculus, is emphasized.-
Descrição: dc.descriptionThis work was supported by Fundação para a Ciência e a Tecnologia [UID/MAT/ 04561/2013, UID/CEC/00408/2013 and grant SFRH/BPD/93278/2013 to G.F.]. The first author is also grateful to Centro de Matemática, Aplicações Fundamentais e Investigação Operacional and to Large-Scale Informatics Systems Laboratory (Universidade de Lisboa).-
Descrição: dc.descriptioninfo:eu-repo/semantics/publishedVersion-
Idioma: dc.languageen-
Publicador: dc.publisherOxford Academic - Oxford Journals-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/5876/147209/PT-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/5876/147438/PT-
Relação: dc.relationinfo:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBPD%2F93278%2F2013/PT-
Direitos: dc.rightsopenAccess-
Palavras-chave: dc.subjectPredicative polymorphism-
Palavras-chave: dc.subjectRepresentable functions-
Palavras-chave: dc.subjectLambda-calculus-
Palavras-chave: dc.subjectNormalization-
Palavras-chave: dc.subjectBeta-equality-
Palavras-chave: dc.subjectExtended polynomials-
Palavras-chave: dc.subjectODS::04:Educação de Qualidade-
Título: dc.titleThe computational content of atomic polymorphism-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.