default search action

combined dblp search
author search
venue search
publication search

ask others

Linearity-TLLA@FLoC 2018: Oxford, UK

> Home > Conferences and Workshops > Linearity-TLLA

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/abs-1904-06159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06159
Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06844
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06844
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic:
Formalization of Automated Trading Systems in a Concurrent Linear Framework. 1-14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06845
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06845
Giulio Guerrieri, Giulio Manzonetto:
The Bang Calculus and the Two Girard's Translations. 15-30
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06846
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06846
Masahito Hasegawa:
From Linear Logic to Cyclic Sharing. 31-42
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06847
Jiaming Jiang, Harley Eades III, Valeria de Paiva:
On the Lambek Calculus with an Exchange Modality. 43-89
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06848
Wen Kokke, Fabrizio Montesi, Marco Peressotti:
Taking Linear Logic Apart. 90-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06849
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06849
Lê Thành Dung Nguyên, Thomas Seiller:
Coherent Interaction Graphs. 104-117
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06850
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis:
The ILLTP Library for Intuitionistic Linear Logic. 118-132
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1711-00774
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-00774
Luca Paolini, Luca Roversi, Margherita Zorzi:
Quantum programming made easy. 133-147
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1810-01252
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-01252
Paolo Pistone:
Proof nets, coends and the Yoneda isomorphism. 148-167

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.