Publications

Publications with the same authors as the Weak linearization of the lambda calculus publication

Group by: Tipo Ano Order: Title Year Type of publication

Article in International Scientific Journal

The power of linear functions

Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mirio Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2006

Scientific classification Indexing

ISI Web of Knowledge - 9 Citations

Scopus - 15 Citations

FOS: Computer and information sciences

The Power of Closed Reduction Strategies

Alves, S (Author) (FCUP); Fernandez, M (Author) (Other); Florido, M (Author) (FCUP); Mackie, I (Author) (Other)

2007

Indexing

ISI Web of Knowledge

Scopus - 4 Citations

Pattern-based calculi with finitary matching

Sandra Alves (Author) (FCUP); Dundua, B (Author) (Other); Florido, M (Author) (FCUP); Kutsia, T (Author) (Other)

2018

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 2 Citations

Minimality in a Linear Calculus with Iteration

Alves, S (Author) (FCUP); Florido, M (Author) (FCUP); Mackie, I (Author) (Other); Sinot, FR (Author) (Other)

2008

Indexing

ISI Web of Knowledge

Scopus

Linearization by program transformation

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

2003

Scientific classification Indexing

ISI Web of Knowledge

Scopus - 1 Citation

FOS: Computer and information sciences

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

Alves, S (Author) (FCUP); Fernandez, M (Author) (Other); Florido, M (Author) (FCUP); MacKie, I (Author) (Other)

2010

Indexing

ISI Web of Knowledge

Scopus - 2 Citations

Linearity: A Roadmap

Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mario Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2014

Scientific classification Indexing

ISI Web of Knowledge

Scopus

FOS: Computer and information sciences

Godel's system T revisited

Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mario Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2010

Scientific classification Indexing

ISI Web of Knowledge - 11 Citations

Scopus - 16 Citations

FOS: Computer and information sciences

Article in International Conference Proceedings Book

Type inference using constraint handling rules

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

2002

Indexing

ISI Web of Knowledge

Scopus - 4 Citations

Structural Rules and Algebraic Properties of Intersection Types

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

2022

Indexing

ISI Web of Science

Scopus

Recursion in a linear typed lambda-calculus

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

2011

Scientific classification Indexing

ISI Proceedings

FOS: Computer and information sciences

On the Relation between Rank 2 Intersection Types and Simple Types

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

2002

Liquid Intersection Types

Mário Pereira (Author) (Other); Sandra Alves (Author) (FCUP); Florido, M (Author) (FCUP)

2015

Indexing

ISI Web of Knowledge - 2 Citations

Linearity and Recursion in a Typed Lambda-Calculus

Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mario Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2011

Scientific classification Indexing

ISI Web of Knowledge - 4 Citations

Scopus - 4 Citations

FOS: Electrical engineering, Electronic engineering, Information engineering

Linear recursive functions

Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (Other); Mario Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2007

Scientific classification Indexing

ISI Web of Knowledge - 6 Citations

Scopus - 8 Citations

FOS: Computer and information sciences

Linear Rank Intersection Types

Reis, F (Author) (Other); Sandra Alves (Author) (FCUP); Florido, M (Author) (FCUP)

2022

Indexing

Scopus

Iterator types

Sandra Alves (Author) (FCUP); Maribel Fernndez (Author) (Other); Mario Florido (Author) (FCUP); Ian Mackie (Author) (Other)

2007

Scientific classification Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 3 Citations

FOS: Computer and information sciences

Closed reduction strategies in a linear lambda calculus with recursion

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

2011

Scientific classification

FOS: Computer and information sciences

A Confluent Pattern Calculus with Hedge Variables

Sandra Alves (Author) (FCUP); Besiki Dundua (Author) (FCUP); Mário Florido (Author) (FCUP); Temur Kutsia (Author) (Other)

2013

Scientific classification

FOS: Mathematics

CORDIS: Computer science

Records 1 to 19 from 19

 

1