Proceedings First International Workshop on Linearity
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2010
- DOI:
- arXiv:
- arXiv:1003.5716
- Bibcode:
- 2010arXiv1003.5716F
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- EPTCS 22, 2010