![](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
2nd Linearity&TLLA@IJCAR-FSCD 2020 [virtual]
- 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 - Matteo Acclavio
:
Exponentially Handsome Proof Nets and Their Normalization. 1-25 - Matteo Acclavio
, Giulio Guerrieri
:
A Deep Inference System for Differential Linear Logic. 26-49 - Esaïe Bauer, Olivier Laurent:
Super Exponentials in Linear Logic. 50-73 - Gianluca Curzi:
Linear Additives. 74-93 - Masahito Hasegawa
:
A Braided Lambda Calculus. 94-108 - Jack Hughes, Michael Vollmer, Dominic Orchard:
Deriving Distributive Laws for Graded Linear Types. 109-131 - Alberto Naibo
, Yuta Takahashi
:
Harmony in the Light of Computational Ludics. 132-156 - Christian Retoré:
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces. 157-174 - Michael Shulman:
*-autonomous envelopes. 175-194 - James Wood, Robert Atkey:
A Linear Algebra Approach to Linear Metatheory. 195-212
![](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.