default search action

combined dblp search
author search
venue search
publication search

ask others

2nd Linearity&TLLA@IJCAR-FSCD 2020 [virtual]

> 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-2112-14305
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14305
Ugo Dal Lago, Valeria de Paiva:
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. EPTCS 353, 2021
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14962
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14962
Matteo Acclavio:
Exponentially Handsome Proof Nets and Their Normalization. 1-25
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14963
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14963
Matteo Acclavio, Giulio Guerrieri:
A Deep Inference System for Differential Linear Logic. 26-49
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14964
Esaïe Bauer, Olivier Laurent:
Super Exponentials in Linear Logic. 50-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2104-13739
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-13739
Gianluca Curzi:
Linear Additives. 74-93
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14965
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14965
Masahito Hasegawa:
A Braided Lambda Calculus. 94-108
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14966
Jack Hughes, Michael Vollmer, Dominic Orchard:
Deriving Distributive Laws for Graded Linear Types. 109-131
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14967
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14967
Alberto Naibo, Yuta Takahashi:
Harmony in the Light of Computational Ludics. 132-156
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14961
Christian Retoré:
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces. 157-174
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-08487
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-08487
Michael Shulman:
*-autonomous envelopes. 175-194
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-02247
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-02247
James Wood, Robert Atkey:
A Linear Algebra Approach to Linear Metatheory. 195-212

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.