Elementary proof of strong normalization for Atomic F

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorFerreira, Fernando-
Autor(es): dc.creatorFerreira, Gilda-
Data de aceite: dc.date.accessioned2022-02-15T14:07:54Z-
Data de disponibilização: dc.date.available2022-02-15T14:07:54Z-
Data de envio: dc.date.issued2021-02-14-
Data de envio: dc.date.issued2021-02-14-
Data de envio: dc.date.issued2016-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/10492-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/10492-
Descrição: dc.descriptionWe 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).-
Descrição: dc.descriptioninfo:eu-repo/semantics/publishedVersion-
Idioma: dc.languageen-
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.subjectStrong normalization-
Palavras-chave: dc.subjectElementary proofs-
Palavras-chave: dc.subjectLambda-calculus-
Título: dc.titleElementary proof of strong normalization for Atomic F-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.