Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.