EPTCS 22 - LINEARITY 2009

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5716
- ask others
Mário Florido, Ian Mackie (Eds.): Proceedings First International Workshop on Linearity. 2009 EPTCS 22 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5511
- ask others
Marco Gaboardi, Mauro Piccolo: Categorical Models for a Semantically Linear Lambda-calculus. ... 1-13
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5512
- ask others
Paolo Torrini, Reiko Heckel: Resource-Bound Quantification for Graph Transformation. ... 14-25
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5513
- ask others
Edsko de Vries, Adrian Francalanza, Matthew Hennessy: Uniqueness Typing for Resource Management in Message-Passing Concurrency. ... 26-37
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5518
- ask others
Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra: On Linear Information Systems. ... 38-48
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5515
- ask others
Maribel Fernández, Nikolaos Siafakas: Labelled Lambda-calculi with Explicit Copy and Erase. ... 49-64