Publicacoes - INESC TEC

Publicações

Publicações por Sandra Alves

2018

A Unifying Framework for Type Inhabitation

Autores
Alves, S; Broda, S;

Publicação
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK

Abstract

2018

Preface

Autores
Alves, S; Wasserman, R;

Publicação
Electr. Notes Theor. Comput. Sci.

Abstract

2019

Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types

Autores
Alves, S; Broda, S;

Publicação
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Abstract
In this paper, we identify a subset of types in the rank 2 intersection type system, where types do not contain positive occurrences of intersections. We extend the notion of pre-grammar of a type and address the type-inhabitation problem for types in this subset, as well as their intersections.

FecharLer Abstract

2018

Preface to special issue: LINEARITY 2014

Autores
Alves, S; Cervesato, I;

Publicação
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

Abstract
This special issue collects selected articles from the Third International Workshop on Linearity (LINEARITY 2014), which was held in Vienna, on July 13th, 2014. The workshop was a one-day satellite event of FLoC 2014, the sixth Federated Logic Conference, which was held as part of the 2014 Vienna Summer of Logic. Copyright © Cambridge University Press 2016

FecharLer Abstract

2019

Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018

Autores
Pagani, M; Alves, S;

Publicação
DCM/ITRS

Abstract

2018

12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017

Autores
Alves, S; Wasserman, R;

Publicação
LSFA

Abstract