Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.creator | Ferreira, Fernando | - |
Autor(es): dc.creator | Ferreira, Gilda | - |
Data de aceite: dc.date.accessioned | 2022-02-15T14:07:54Z | - |
Data de disponibilização: dc.date.available | 2022-02-15T14:07:54Z | - |
Data de envio: dc.date.issued | 2021-02-14 | - |
Data de envio: dc.date.issued | 2021-02-14 | - |
Data de envio: dc.date.issued | 2016 | - |
Fonte completa do material: dc.identifier | http://hdl.handle.net/10400.2/10492 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/10400.2/10492 | - |
Descrição: dc.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). | - |
Descrição: dc.description | info:eu-repo/semantics/publishedVersion | - |
Idioma: dc.language | en | - |
Relação: dc.relation | info:eu-repo/grantAgreement/FCT/5876/147209/PT | - |
Relação: dc.relation | info:eu-repo/grantAgreement/FCT/5876/147438/PT | - |
Relação: dc.relation | info:eu-repo/grantAgreement/FCT/SFRH/SFRH%2FBPD%2F93278%2F2013/PT | - |
Direitos: dc.rights | openAccess | - |
Palavras-chave: dc.subject | Predicative polymorphism | - |
Palavras-chave: dc.subject | Strong normalization | - |
Palavras-chave: dc.subject | Elementary proofs | - |
Palavras-chave: dc.subject | Lambda-calculus | - |
Título: dc.title | Elementary proof of strong normalization for Atomic F | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Aberto - Universidade Aberta (Portugal) |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: