Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Compact bracket abstraction in combinatory logic

Publicações

Compact bracket abstraction in combinatory logic

Título
Compact bracket abstraction in combinatory logic
Tipo
Artigo em Revista Científica Internacional
Ano
1997
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
Revista
Vol. 62
Páginas: 729-740
ISSN: 0022-4812
Classificação Científica
FOS: Ciências exactas e naturais > Matemática
Outras Informações
ID Authenticus: P-001-AT4
Abstract (EN): Translations from Lambda calculi into combinatory logics can be used to avoid some implementational problems of the former systems. However, this scheme can only be efficient if the translation produces short output with a small number of combinators, in order to reduce the time and;transient storage space spent during reduction of combinatory terms. In this paper we present a combinatory system and an abstraction algorithm, based on the original bracket abstraction operator of Schonfinkel [9]. The algorithm introduces at most one combinator for each abstraction in the initial Lambda term. This avoids explosive term growth during successive abstractions and makes the system suitable for practical applications. We prove the correctness of the algorithm and establish some relations between the combinatory system and the Lambda calculus.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Nº de páginas: 12
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)

Da mesma revista

Groundwork for weak analysis (2002)
Artigo em Revista Científica Internacional
Fernandes, AA; Ferreira, F
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-07-22 às 22:07:45 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias