Linearity: A Roadmap
Título
Linearity: A Roadmap
Tipo
Artigo em Revista Científica Internacional
Ano
2014
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)
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
Mario Florido
(Autor)
FCUP
Ian Mackie
(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
Revista
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-009-HK9
Abstract (EN):
In this article we discuss three different notions of linearity: syntactical, operational and denotational. We briefly define each notion of linearity, pointing out some of the main results in the area, and describe applications of linear languages and type systems.
Idioma:
Inglês
Tipo (Avaliação Docente):
Científica
Contacto:
sandra@dcc.fc.up.pt; Maribel.Fernandez@kcl.ac.uk; amf@dcc.fc.up.pt; mackie@lix.polytechnique.fr
Nº de páginas:
17
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas
Dos mesmos autores
The power of linear functions (2006)
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mirio Florido; Ian Mackie
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mirio Florido; Ian Mackie
Godel's system T revisited (2010)
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Linearity and Recursion in a Typed Lambda-Calculus (2011)
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Linear recursive functions (2007)
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Artigo em Livro de Atas de Conferência Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Das mesmas áreas científicas
YWeb – Plataforma de Criação de Templates para Marketing Online (2017)
Tese
José Carlos Calhau Pinto
Tese
José Carlos Calhau Pinto
Visual Viper: a portable visualization library for streamlined scientific communications. (2023)
Tese
Mariana Beatriz Nunes Canelas Pais
Tese
Mariana Beatriz Nunes Canelas Pais
Using clickstream data to analyze online purchase intentions (2015)
Tese
Ricardo Filipe Fernandes e Costa Magalhães Teixeira
Tese
Ricardo Filipe Fernandes e Costa Magalhães Teixeira
Da mesma revista
On long normal inhabitants of a type (2005)
Artigo em Revista Científica Internacional
Broda, S; Damas, L
Artigo em Revista Científica Internacional
Broda, S; Damas, L
Monotonicity Constraints in Characterizations of PSPACE (2012)
Artigo em Revista Científica Internacional
Ben Amram, AM; Loff, B; Oitavem, I
Artigo em Revista Científica Internacional
Ben Amram, AM; Loff, B; Oitavem, I
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-13 às 15:27:01 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico
Página gerada em: 2025-10-13 às 15:27:01 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico