Keyword:linear logic

Papers
Cloning and Deleting Quantum Information from a Linear Logical Point of View Anderson Beraldo-de-Araújo EasyChair Preprint no. 8435
Bottom-up Sequentialization of Unit-Free MALL Proof Nets Rémi Di Guardia and Olivier Laurent EasyChair Preprint no. 8431
Substructural Calculi with Dependent Types Zhaohui Luo EasyChair Preprint no. 421
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus Giulio Guerrieri EasyChair Preprint no. 334
Normalization and Taylor expansion of lambda-terms Federico Olimpieri EasyChair Preprint no. 165
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
Deep Proof Search in MELL Ozan Kahramanogullari 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
Computational Coverage of TLG: Nonlinearity Glyn Morrill and Oriol Valentín In:NLCS'15. Third Workshop on Natural Language and Computer Science
Non-linear Second Order Abstract Categorial Grammars and Deletion Sylvain Salvati In:NLCS'15. Third Workshop on Natural Language and Computer Science