Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

116 résultats
keyword_s : Linear logic
Page :
triés par
Image document

Non-linear Second order Abstract Categorial Grammars and deletion

 Sylvain Salvati
NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan
Communication dans un congrès hal-01251127v1
Image document

A Logical Framework for Systems Biology

 Elisabetta de Maria , Joelle Despeyroux , Amy Felty
[Research Report] 2014, pp.34
Rapport hal-00981409v1

Concurrent Programming as Proof Net Construction

 Guy Perrier
Mathematical Structures in Computer Science, 1998, 8 (6), pp.681-710
Article dans une revue inria-00098491v1

Type inference in intuitionistic linear logic

 Patrick Baillot , Martin Hofmann
12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 2010), Jul 2010, Hagenberg, Austria. pp.219-230, ⟨10.1145/1836089.1836118⟩
Communication dans un congrès hal-00543120v1
Image document

A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points

 Alexis Saurin
TABLEAUX 2023 - 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2023, Prague, Czech Republic. pp.203-222, ⟨10.1007/978-3-031-43513-3_12⟩
Communication dans un congrès hal-04308897v1

The exponential logic of sequentialization

 Aurore Alcolei , Luc Pellissier , Alexis Saurin
MFPS XXXIX - 39th Conference on the Mathematical Foundations of Programming Semantics, Marie Kerjean & Paul B. Levy, Jun 2023, Bloomington (Indiana), United States. ⟨10.46298/entics.12419⟩
Communication dans un congrès hal-04308279v1

From Intuitionistic Proof Nets to Interaction Grammars

 Guy Perrier
TAG + 5, Université Paris 7, 2000, Paris/France, 9 p
Communication dans un congrès inria-00147384v1

Proof Plans and Proof Nets in Linear Logic -Abstract

 Didier Galmiche
Floc'99 Workshop on Strategies in Automated Deduction, 1999, Trento, Italy, 2 p
Communication dans un congrès inria-00098989v1

Labelled Proof Systems for Intuitionistic Provability

 Didier Galmiche , Vincent Balat
D. Basin, M. D'Agostino, D.M. Gabbay, S. Matthews, L. Vigano. Labelled Deduction, 17 (17), Kluwer Academic Publishers, 31 p, 2000, Applied Logic Series, 0-7923-6237-3
Chapitre d'ouvrage inria-00098993v1

A PSPACE-complete fragment of second-order linear logic

 Guy Perrier
Theoretical Computer Science, 1999, 224 (1-2), pp.267-289. ⟨10.1016/S0304-3975(98)00315-6⟩
Article dans une revue inria-00098816v1
Image document

PSPACE-Completeness of a Thread Criterion for Cyclic Proofs in Linear Logic with Least and Greatest Fixed Points

 Rémi Nollet , Alexis Saurin , Christine Tasson
TABLEAUX 2019 - 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2019, London, United Kingdom. ⟨10.1007/978-3-030-29026-9_18⟩
Communication dans un congrès hal-02173207v1

Linear Dependent Types for Differential Privacy

 Marco Gaboardi , Andreas Haeberlen , Justin Hsu , Arjun Narayan , Benjamin Pierce
40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013, Rome, Italy, Italy. pp.357--370, ⟨10.1145/2429069.2429113⟩
Communication dans un congrès hal-00909340v1
Image document

Least and Greatest Fixed Points in Ludics

 David Baelde , Amina Doumane , Alexis Saurin
2015
Pré-publication, Document de travail hal-01178396v1
Image document

Cut-elimination for the circular modal mu-calculus: linear logic and super exponentials to the rescue

 Esaïe Bauer , Alexis Saurin
2024
Pré-publication, Document de travail hal-04496648v1
Image document

Proof Nets and Explicit Substitutions

 Roberto Di Cosmo , Delia Kesner , Emmanuel Polonovski
FOSSACS, 2000, Berlin, Germany. pp.63-81
Communication dans un congrès hal-00384955v1

Connection-based proof search in propositional BI logic

 Didier Galmiche , Daniel Méry
18th International Conference on Automated Deduction - CADE-18, 2002, Copenhagen/Denmark, pp.111-128
Communication dans un congrès inria-00100790v1

LINK: a Proof Environment based on Proof nets

 Luc Habert , Jean-Marc Notin , Didier Galmiche
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX'02, 2002, Copenhagen, Denmark, pp.330-334
Communication dans un congrès inria-00100791v1
Image document

From Proof nets to the Free *-Autonomous Categories

 François Lamarche , Lutz Strassburger
Logical Methods in Computer Science, 2006, 2 (4:3), 44 p. ⟨10.2168/LMCS-2(4:3)2006⟩
Article dans une revue inria-00099865v2
Image document

Focalisation and Classical Realisability (version with appendices)

 Guillaume Munch-Maccagnoni
18th EACSL Annual Conference on Computer Science Logic - CSL 09, Sep 2009, Coimbra, Portugal. pp.409-423, ⟨10.1007/978-3-642-04027-6_30⟩
Communication dans un congrès inria-00409793v2
Image document

The Geometry of Synchronization

 Ugo Dal Lago , Claudia Faggian , Ichiro Hasuo , Akira Yoshimizu
Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2014, Vienna, Austria. ⟨10.1145/2603088.2603154⟩
Communication dans un congrès hal-01091560v1

Connection-based proof construction in Non-Commutative Logic

 Didier Galmiche , Jean-Marc Notin
10th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2003 - LPAR'03, 2003, Almaty/Kazakhstan, pp.422 - 436, ⟨10.1007/b13986⟩
Communication dans un congrès inria-00099554v1

Corrigendum to Galmiche's and Perrier's ``On Proof Normalization in Linear Logic

 Guy Perrier
Theoretical Computer Science, 1998, 206 (1-2), pp.353-354
Article dans une revue inria-00098573v1

Words as modules: a lexicalised grammar in the framework of linear logic proof nets.

 Alain Lecomte , Christian Retoré
Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, pp.129-144
Communication dans un congrès inria-00098440v1

Quantales as completions of ordered monoids: revised semantics for Intuitionistic Linear Logic

 Didier Galmiche , Dominique Larchey-Wendling
Electronic Notes in Theoretical Computer Science, 2000, 35, 15 p
Article dans une revue inria-00099226v1
Image document

On paths-based criteria for polynomial time complexity in proof-nets

 Matthieu Perrinel
Foundational and Practical Aspects of Resource Analysis (FOPARA) 2013, Aug 2013, Bertinoro, Italy. pp.127--142, ⟨10.1007/978-3-319-12466-7_8⟩
Communication dans un congrès hal-00992578v1
Image document

Intersection Types and Runtime Errors in the Pi-Calculus

 Ugo Dal Lago , Marc de Visme , Damiano Mazza , Akira Yoshimizu
Proceedings of the ACM on Programming Languages, 2019, 3 (POPL), pp.1-29. ⟨10.1145/3290320⟩
Article dans une revue hal-02399565v1
Image document

Call-by-value non-determinism in a linear logic type discipline

 Alejandro Díaz-Caro , Giulio Manzonetto , Michele Pagani
LFCS - Logical Foundations of Computer Science - 2013, Jan 2013, San Diego, CA, United States. pp.164-178, ⟨10.1007/978-3-642-35722-0_12⟩
Communication dans un congrès hal-00919463v1
Image document

Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach

 Marco Solieri
Mathematical Structures in Computer Science, 2016, pp.1 - 43. ⟨10.1017/S0960129516000311⟩
Article dans une revue hal-01400359v1
Image document

Cyclic proofs, system T, and the power of contraction

 Denis Kuperberg , Laureline Pinault , Damien Pous
Proceedings of the ACM on Programming Languages, 2021, ⟨10.1145/3434282⟩
Article dans une revue hal-02487175v2
Image document

Decision Problems for Linear Logic with Least and Greatest Fixed Points

 Anupam Das , Abhishek De , Alexis Saurin
7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. ⟨10.4230/LIPIcs.FSCD.2022.20⟩
Communication dans un congrès hal-03867393v1
Page :