Proceedings First International Workshop on Linearity
Logic in Computer Science
2010-03-31 v1
Abstract
This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual Conference on Computer Science Logic.
Keywords
Cite
@article{arxiv.1003.5716,
title = {Proceedings First International Workshop on Linearity},
author = {Mário Florido and Ian Mackie},
journal= {arXiv preprint arXiv:1003.5716},
year = {2010}
}