Publicações

Publicações com os mesmos autores da publicação On the Relation between Rank 2 Intersection Types and Simple Types

Agrupar Por: Tipo Ano Ordenação: Título Ano Tipo de Publicação

Artigo em Revista Científica Internacional

Weak linearization of the lambda calculus

Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP)

2005

Classificação Científica Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 7 Citações

FOS: Ciências da computação e da informação

The power of linear functions

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mirio Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2006

Classificação Científica Indexação

ISI Web of Knowledge - 9 Citações

Scopus - 15 Citações

FOS: Ciências da computação e da informação

The Power of Closed Reduction Strategies

Alves, S (Autor) (FCUP); Fernandez, M (Autor) (Outra); Florido, M (Autor) (FCUP); Mackie, I (Autor) (Outra)

2007

Indexação

ISI Web of Knowledge

Scopus - 4 Citações

Pattern-based calculi with finitary matching

Sandra Alves (Autor) (FCUP); Dundua, B (Autor) (Outra); Florido, M (Autor) (FCUP); Kutsia, T (Autor) (Outra)

2018

Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 2 Citações

Minimality in a Linear Calculus with Iteration

Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP); Mackie, I (Autor) (Outra); Sinot, FR (Autor) (Outra)

2008

Indexação

ISI Web of Knowledge

Scopus

Linearization by program transformation

Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP)

2003

Classificação Científica Indexação

ISI Web of Knowledge

Scopus - 1 Citação

FOS: Ciências da computação e da informação

Linearity and iterator types for Gödel's System ¿

Alves, S (Autor) (FCUP); Fernandez, M (Autor) (Outra); Florido, M (Autor) (FCUP); MacKie, I (Autor) (Outra)

2010

Indexação

ISI Web of Knowledge

Scopus - 2 Citações

Linearity: A Roadmap

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mario Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2014

Classificação Científica Indexação

ISI Web of Knowledge

Scopus

FOS: Ciências da computação e da informação

Godel's system T revisited

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mario Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2010

Classificação Científica Indexação

ISI Web of Knowledge - 11 Citações

Scopus - 16 Citações

FOS: Ciências da computação e da informação

Artigo em Livro de Atas de Conferência Internacional

Type inference using constraint handling rules

Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP)

2002

Indexação

ISI Web of Knowledge

Scopus - 4 Citações

Structural Rules and Algebraic Properties of Intersection Types

Sandra Alves (Autor) (FCUP); Florido, M (Autor) (FCUP)

2022

Indexação

ISI Web of Science

Scopus

Recursion in a linear typed lambda-calculus

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mário Florido (Autor) (FCUP); Ian Mackie (Autor) (FCUP)

2011

Classificação Científica Indexação

ISI Proceedings

FOS: Ciências da computação e da informação

Liquid Intersection Types

Mário Pereira (Autor) (Outra); Sandra Alves (Autor) (FCUP); Florido, M (Autor) (FCUP)

2015

Indexação

ISI Web of Knowledge - 2 Citações

Linearity and Recursion in a Typed Lambda-Calculus

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mario Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2011

Classificação Científica Indexação

ISI Web of Knowledge - 4 Citações

Scopus - 4 Citações

FOS: Engenharia electrotécnica, electrónica e informática

Linear recursive functions

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (Outra); Mario Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2007

Classificação Científica Indexação

ISI Web of Knowledge - 6 Citações

Scopus - 8 Citações

FOS: Ciências da computação e da informação

Linear Rank Intersection Types

Reis, F (Autor) (Outra); Sandra Alves (Autor) (FCUP); Florido, M (Autor) (FCUP)

2022

Indexação

Scopus

Iterator types

Sandra Alves (Autor) (FCUP); Maribel Fernndez (Autor) (Outra); Mario Florido (Autor) (FCUP); Ian Mackie (Autor) (Outra)

2007

Classificação Científica Indexação

ISI Web of Knowledge - 1 Citação

Scopus - 3 Citações

FOS: Ciências da computação e da informação

Closed reduction strategies in a linear lambda calculus with recursion

Sandra Alves (Autor) (FCUP); Maribel Fernandez (Autor) (FCUP); Mário Florido (Autor) (FCUP); Ian Mackie (Autor) (FCUP)

2011

Classificação Científica

FOS: Ciências da computação e da informação

A Confluent Pattern Calculus with Hedge Variables

Sandra Alves (Autor) (FCUP); Besiki Dundua (Autor) (FCUP); Mário Florido (Autor) (FCUP); Temur Kutsia (Autor) (Outra)

2013

Classificação Científica

FOS: Matemática

CORDIS: Ciência de computadores

Registos 1 a 19 de 19

 

1