Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Linearization by program transformation

Linearization by program transformation

Título
Linearization by program transformation
Tipo
Artigo em Revista Científica Internacional
Ano
2003
Indexação
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
Outras Informações
ID Authenticus: P-000-K3V
Abstract (EN): We identify a restricted class of terms of the lambda calculus, here called weak linear, that includes the linear lambda-terms keeping their good properties of strong normalization, non-duplicating reductions and typability in polynomial time. The advantage of this class over the linear lambda-calculus is the possibility of transforming general terms into weak linear terms with the same normal form. We present such transformation and prove its correctness by showing that it preserves normal forms.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Contacto: sandra@ncc.up.pt; amf@ncc.up.pt
Nº de páginas: 16
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

Weak linearization of the lambda calculus (2005)
Artigo em Revista Científica Internacional
Alves, S; Florido, M
The power of linear functions (2006)
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mirio Florido; Ian Mackie
The Power of Closed Reduction Strategies (2007)
Artigo em Revista Científica Internacional
Alves, S; Fernandez, M; Florido, M; Mackie, I
Pattern-based calculi with finitary matching (2018)
Artigo em Revista Científica Internacional
Sandra Alves; Dundua, B; Florido, M; Kutsia, T
Minimality in a Linear Calculus with Iteration (2008)
Artigo em Revista Científica Internacional
Alves, S; Florido, M; Mackie, I; Sinot, FR

Ver todas (19)

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