Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Recursion in a linear typed lambda-calculus

Publicações

Recursion in a linear typed lambda-calculus

Título
Recursion in a linear typed lambda-calculus
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2011
Autores
Sandra Alves
(Autor)
FCUP
Maribel Fernandez
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Ian Mackie
(Autor)
FCUP
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Ata de Conferência Internacional
Páginas: 173-182
Principles and Practice of Declarative Programming PPDP 2011
Indexação
Publicação em ISI Proceedings ISI Proceedings
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
Outras Informações
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

Closed reduction strategies in a linear lambda calculus with recursion (2011)
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Maribel Fernandez; Mário Florido; Ian Mackie
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-30 às 17:28:46 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias