Keyword:linear logic

Publications
Cloning and Deleting Quantum Information from a Linear Logical Point of View Anderson Beraldo-de-Araújo EasyChair Preprint 8435
Bottom-up Sequentialization of Unit-Free MALL Proof Nets Rémi Di Guardia and Olivier Laurent EasyChair Preprint 8431
Substructural Calculi with Dependent Types Zhaohui Luo EasyChair Preprint 421
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus Giulio Guerrieri EasyChair Preprint 334
Normalization and Taylor expansion of lambda-terms Federico Olimpieri EasyChair Preprint 165
Confluence for Proof-Nets via Parallel Cut Elimination Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco and Lionel Vaux Auclair In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Simple Token Game and its Logic Christian Fermüller, Robert Freiman and Timo Lang In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Deep Proof Search in MELL Ozan Kahramanogullari In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A uniform framework for substructural logics with modalities Bjoern Lellmann, Carlos Olarte and Elaine Pimentel In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A New Proof of P-time Completeness of Linear Lambda Calculus Satoshi Matsuoka In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Non-linear Second Order Abstract Categorial Grammars and Deletion Sylvain Salvati In:NLCS'15. Third Workshop on Natural Language and Computer Science
Computational Coverage of TLG: Nonlinearity Glyn Morrill and Oriol Valentín In:NLCS'15. Third Workshop on Natural Language and Computer Science