Proceedings First International Workshop on Linearity
classification
💻 cs.LO
keywords
linearityworkshopfirstinternationalproceedingsannualcoimbracomputer
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.