![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
1st LINEARITY 2009: Coimbra, Portugal
- Mário Florido
, Ian Mackie:
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. EPTCS 22, 2009 - Marco Gaboardi, Mauro Piccolo:
Categorical Models for a Semantically Linear Lambda-calculus. 1-13 - Paolo Torrini, Reiko Heckel:
Resource-Bound Quantification for Graph Transformation. 14-25 - Edsko de Vries, Adrian Francalanza
, Matthew Hennessy:
Uniqueness Typing for Resource Management in Message-Passing Concurrency. 26-37 - Antonio Bucciarelli, Alberto Carraro
, Thomas Ehrhard, Antonino Salibra
:
On Linear Information Systems. 38-48 - Maribel Fernández, Nikolaos Siafakas:
Labelled Lambda-calculi with Explicit Copy and Erase. 49-64
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.