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

Publicações

Closed reduction strategies in a linear lambda calculus with recursion

Título
Closed reduction strategies in a linear lambda calculus with recursion
Tipo
Artigo em Livro de Atas de Conferência Internacional
Ano
2011
Autores
Sandra Alves
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Ver página ORCID
Maribel Fernandez
(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
Mário Florido
(Autor)
FCUP
Ver página pessoal Enviar mensagem Pesquisar Publicações do Participante Ver página do Authenticus Ver página 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
International Workshop on Reduction Strategies in Rewriting and Programming
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

Recursion in a linear typed lambda-calculus (2011)
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Maribel Fernandez; Mário Florido; Ian Mackie

Das mesmas áreas científicas

YWeb – Plataforma de Criação de Templates para Marketing Online (2017)
Tese
José Carlos Calhau Pinto
Visual Viper: a portable visualization library for streamlined scientific communications. (2023)
Tese
Mariana Beatriz Nunes Canelas Pais
Utility-based Predictive Analytics (2018)
Tese
Paula Alexandra de Oliveira Branco
Using clickstream data to analyze online purchase intentions (2015)
Tese
Ricardo Filipe Fernandes e Costa Magalhães Teixeira
Users Satisfaction Regarding Nursing Information and Documentation In Electronic Health Records: A Study At The Health Centers Group Tâmega II – Vale Do Sousa Sul (2023)
Tese
Carla Manuela Pinto Lourenço

Ver todas (1859)

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-23 às 03:57:49 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias