Published: 30th March 2010
DOI: 10.4204/EPTCS.22
ISSN: 2075-2180


Proceedings First International Workshop on
Coimbra, Portugal, 12th September 2009

Edited by: Mário Florido and Ian Mackie

Mário Florido and Ian Mackie
Categorical Models for a Semantically Linear Lambda-calculus
Marco Gaboardi and Mauro Piccolo
Resource-Bound Quantification for Graph Transformation
Paolo Torrini and Reiko Heckel
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de Vries, Adrian Francalanza and Matthew Hennessy
On Linear Information Systems
A. Bucciarelli, A. Carraro, T. Ehrhard and A. Salibra
Labelled Lambda-calculi with Explicit Copy and Erase
Maribel Fernández and Nikolaos Siafakas


Linearity has been the key feature in several lines of research in both theoretical and practical approaches to computer science. From the theoretical side, linearity plays a central role in all the work stemming from linear logic, dealing with proof technology, complexity classes and more recently quantum computation. From the practical side, linearity properties are used in program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques.

The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

Topics of interest included: linear types, session types, linear calculi, lambda-calculus, rho-calculus, term and graph rewriting, object calculi, interaction nets, games, process calculi, action graphs, calculi expressing locality, mobility and active data, quantum computational models and biological or chemical models of computation.

LINEARITY 2009 is the First International Workshop on Linearity, and took place in September 2009 in Coimbra, Portugal. The workshop was as a one-day satellite event of CSL 2009, the 18th EACSL Annual Conference on Computer Science Logic.

The Programme Committee selected five papers for presentation at LINEARITY 2009. In addition, the programme included invited talks by Alex Simpson, Edinburgh (Linearly-used Continuations and Self-duality), Simona Ronchi Della Rocca, Torino (Linearity and non-determinism: the full resource lambda calculus) and Simone Martini, Bologna (Invariant cost models for rewriting-based languages). Authors were then invited to revise their papers which passed a second round reviewing with the goal of selecting them for publication in EPCTS. As a result, we are happy to present here five extended selected papers.

Many people helped to make LINEARITY 2009 a success. In particular, we wish to thank Pedro Quaresma and Reinhard Kahle, conference chairs of CSL 2009. We are also grateful to the external referees for their careful and efficient work in the reviewing process, and in particular the programme committee members: Sandra Alves, Ugo Dal Lago, Maribel Fernández, Simon Gay, Martin Hofmann, Greg Morrisett, Alan Mycroft, Luke Ong, and Luca Paolini.

Mário Florido and Ian Mackie

Programme committee co-chairs