default search action

combined dblp search
author search
venue search
publication search

ask others

3rd LINEARITY 2014: Vienna, Austria

> Home > Conferences and Workshops > LINEARITY

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/AlvesC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AlvesC15
Sandra Alves, Iliano Cervesato:
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. EPTCS 176, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Chaudhuri15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Chaudhuri15
Kaustuv Chaudhuri:
Undecidability of Multiplicative Subexponential Logic. 1-8
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PaykinZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PaykinZ15
Jennifer Paykin, Steve Zdancewic:
A Linear/Producer/Consumer Model of Classical Linear Logic. 9-23
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Brock-Nannestad15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Brock-Nannestad15
Taus Brock-Nannestad, Nicolas Guenot:
Cut Elimination in Multifocused Linear Logic. 24-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GanTM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GanTM15
Edward Gan, Jesse A. Tov, Greg Morrisett:
Type Classes for Lightweight Substructural Types. 34-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Basaldella15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Basaldella15
Michele Basaldella:
Ludics without Designs I: Triads. 49-63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LagoZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LagoZ15
Ugo Dal Lago, Margherita Zorzi:
Wave-Style Token Machines and Quantum Lambda Calculi. 64-78
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Solieri15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Solieri15
Marco Solieri:
Geometry of Resource Interaction - A Minimalist Approach. 79-94

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.