Publications

Publications by Sandra Alves

2012

Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012

Authors
Alves, S; Mackie, I;

Publication
LINEARITY

Abstract

2002

On the Relation between Rank 2 Intersection Types and Simple Types

Authors
Alves, S; Florido, M;

Publication
AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002.

Abstract

2010

Linear Recursion

Authors
Alves, Sandra; Fernández, Maribel; Florido, Mario; Mackie, Ian;

Publication
CoRR

Abstract

2011

A new graphical calculus of proofs

Authors
Alves, S; Fernández, M; Mackie, I;

Publication
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011.

Abstract

2010

Godel's system T revisited

Authors
Alves, S; Fernandez, M; Florido, M; Mackie, I;

Publication
THEORETICAL COMPUTER SCIENCE

Abstract
The linear lambda calculus, where variables are restricted to occur in terms exactly once, has a very weak expressive power: in particular, all functions terminate in linear time. In this paper we consider a simple extension with natural numbers and a restricted iterator: only closed linear functions can be iterated. We show properties of this linear version of Godel's T using a closed reduction strategy, and study the class of functions that can be represented. Surprisingly, this linear calculus offers a huge increase in expressive power over previous linear versions of T, which are 'closed at construction' rather than 'closed at reduction'. We show that a linear T with closed reduction is as powerful as T.

CloseRead Abstract

2012

Proceedings 2nd International Workshop on Linearity

Authors
Alves, S; Mackie, I;

Publication
Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS

Abstract