HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.