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
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.