Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > A context-free grammar representation for normal inhabitants of types in TA¿

Publicações

A context-free grammar representation for normal inhabitants of types in TA¿

Título
A context-free grammar representation for normal inhabitants of types in TA¿
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2001
Autores
Broda, S
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Damas, L
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Ata de Conferência Internacional
Páginas: 321-334
10th Portuguese Conference on Artificial Intelligence, EPIA 2001
Porto, 17 December 2001 through 20 December 2001
Indexação
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Outras Informações
ID Authenticus: P-007-DFP
Abstract (EN): In [10] it was shown that it is possible to describe the set of normal inhabitants of a given type ¿, in the standard simple type system, using an infinitary extension of the concept of context-free grammar, which allows for an infinite number of non-terminal symbols as well as production rules. The set of normal inhabitants of ¿ corresponds then to the set of terms generated by this, possibly infinitary, grammar plus all terms obtained from those by ¿-reduction. In this paper we show that the set of normal inhabitants of a type ¿ can in fact be described using a standard (finite) context-free grammar, and more interestingly that normal inhabitants of types with the same structure are described by identical context-free grammars, up to renaming of symbols. © Springer-Verlag Berlin Heidelberg 2001.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Nº de páginas: 14
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

The decidability of a fragment of BB ' IW-logic (2004)
Artigo em Revista Científica Internacional
Broda, S; Damas, L; Finger, M; Silva, PSE
On principal types of combinators (2000)
Artigo em Revista Científica Internacional
Broda, S; Damas, L
On long normal inhabitants of a type (2005)
Artigo em Revista Científica Internacional
Broda, S; Damas, L
On combinatory complete sets of proper combinators (1997)
Artigo em Revista Científica Internacional
Broda, S; Damas, L
Counting a type's principal inhabitants - (Extended abstract) (1999)
Artigo em Revista Científica Internacional
Broda, S; Damas, L

Ver todas (11)

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-10-18 às 21:12:17 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico