![](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
3rd LINEARITY 2014: Vienna, Austria
- Sandra Alves, Iliano Cervesato:
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. EPTCS 176, 2015 - Kaustuv Chaudhuri:
Undecidability of Multiplicative Subexponential Logic. 1-8 - Jennifer Paykin, Steve Zdancewic:
A Linear/Producer/Consumer Model of Classical Linear Logic. 9-23 - Taus Brock-Nannestad, Nicolas Guenot:
Cut Elimination in Multifocused Linear Logic. 24-33 - Edward Gan
, Jesse A. Tov, Greg Morrisett:
Type Classes for Lightweight Substructural Types. 34-48 - Michele Basaldella:
Ludics without Designs I: Triads. 49-63 - Ugo Dal Lago
, Margherita Zorzi:
Wave-Style Token Machines and Quantum Lambda Calculi. 64-78 - Marco Solieri
:
Geometry of Resource Interaction - A Minimalist Approach. 79-94
![](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.