Publications

Publications by Sandra Alves

2018

A Unifying Framework for Type Inhabitation

Authors
Alves, S; Broda, S;

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

Abstract

2018

Preface

Authors
Alves, S; Wasserman, R;

Publication
Electr. Notes Theor. Comput. Sci.

Abstract

2019

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

Authors
Alves, S; Broda, S;

Publication
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.

CloseRead Abstract

2018

Preface to special issue: LINEARITY 2014

Authors
Alves, S; Cervesato, I;

Publication
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

CloseRead 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

Authors
Pagani, M; Alves, S;

Publication
DCM/ITRS

Abstract

2018

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

Authors
Alves, S; Wasserman, R;

Publication
LSFA

Abstract