-
1Academic Journal
Authors: Chardonnet, Kostia, Saurin, Alexis, Valiron, Benoît
Contributors: Saurin, Alexis, Kostia Chardonnet and Alexis Saurin and Benoît Valiron
Source: Logical Methods in Computer Science. 21
Subject Terms: FOS: Computer and information sciences, Theory of computation → Linear logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic in Computer Science, Curry-Howard, 0102 computer and information sciences, 02 engineering and technology, Linear Logic, 01 natural sciences, Logic in Computer Science (cs.LO), Reversible Computation, 0202 electrical engineering, electronic engineering, information engineering, Theory of computation → Equational logic and rewriting, ddc:004
File Description: application/pdf
-
2Conference
Contributors: Rémi Di Guardia and Olivier Laurent and Lorenzo Tortora de Falco and Lionel Vaux Auclair, Vaux Auclair, Lionel, Maribel Fernández
Subject Terms: Theory of computation → Linear logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Graph Theory, Yeo's Theorem, Mathematics of computing → Graph coloring, Sequentialization, ddc:004, Linear Logic, Proof Net
File Description: application/pdf
-
3Conference
Authors: Miller, Dale
Contributors: Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (PARTOUT), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), Maribel Fernández
Source: FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction ; https://hal.science/hal-05067259 ; FSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, United Kingdom. pp.26:1-26:26, ⟨10.4230/LIPIcs.FSCD.2025.26⟩
Subject Terms: Linear logic, multifocused proofs, sequent calculus, 2012 ACM Subject Classification Theory of computation → Proof theory, Theory of computation→ Linear logic, [INFO]Computer Science [cs]
Subject Geographic: Birmingham, United Kingdom
-
4Conference
Authors: Dufour, Aloÿs, Mazza, Damiano
Contributors: Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Université Sorbonne Paris Nord, Centre National de la Recherche Scientifique (CNRS)
Source: 9th International on Formal Structure for Computation Deduction
https://hal.science/hal-04797294
9th International on Formal Structure for Computation Deduction, Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.FSCD.2024.29⟩Subject Terms: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation Linear logic Differential linear logic Taylor expansion of lambda-terms Böhm trees Process calculi .FSCD.2024.26, Theory of computation Linear logic, Differential linear logic, Taylor expansion of lambda-terms, Böhm trees, Process calculi .FSCD.2024.26, Linear logic, Process calculi, Theory of computation → Linear logic, Theory of computation → Denotational semantics, Theory of computation → Operational semantics, Theory of computation → Lambda calculus, Theory of computation → Process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Time: Tallinn, Estonia
-
5Conference
Authors: Sannier, Victor, Baillot, Patrick
Contributors: Sannier, Victor, Victor Sannier and Patrick Baillot
Subject Terms: Theory of computation → Linear logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], functional programming, Linear logic, lambda-calculus, Theory of computation → Type theory, sensitivity, vector metrics, Type system, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Security and privacy → Logic and verification, Differential privacy, type system, differential privacy, linear logic, ddc:004, denotational semantics, Lambda calculus
File Description: application/pdf
-
6Conference
Authors: Barbarossa, Davide, Pistone, Paolo
Contributors: University of Bath Bath, Université Claude Bernard Lyon 1 (UCBL), Université de Lyon, Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)
Source: Computer Science Logic 2024 (CSL 2024) ; https://hal.science/hal-04777395 ; Computer Science Logic 2024 (CSL 2024), Feb 2024, Napoli, France. ⟨10.4230/LIPIcs.CSL.2024.14⟩
Subject Terms: Tropical semiring, Program metrics, Lawvere quantale, Theory of computation → Lambda calculus, Theory of computation → Categorical semantics, Theory of computation → Linear logic, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, Theory of computation Ñ Categorical semantics, Theory of computation Ñ Linear logic Relational semantics, Differential lambda-calculus, Relational semantics, [INFO]Computer Science [cs]
-
7Academic Journal
Authors: Breuvart, Flavien, Kerjean, Marie, Mirwasser, Simon
Contributors: Mirwasser, Simon, Flavien Breuvart and Marie Kerjean and Simon Mirwasser
Subject Terms: FOS: Computer and information sciences, Theory of computation → Linear logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Logic in Computer Science, Mathematics of computing → Partial differential equations, Theory of computation → Denotational semantics, Linear Logic, Logic in Computer Science (cs.LO), Denotational Semantics, Graded Logic, ddc:004, Functional Analysis
File Description: application/pdf
-
8Academic Journal
Authors: Barbarossa, Davide, Pistone, Paolo
Contributors: Davide Barbarossa and Paolo Pistone, Pistone, Paolo
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.3.2, F.4.1, [INFO] Computer Science [cs], 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus, FOS: Mathematics, 2012 ACM Subject Classification Theory of computation Ñ Lambda calculus Theory of computation Ñ Categorical semantics Theory of computation Ñ Linear logic Relational semantics, Relational semantics, Lawvere quantale, Theory of computation → Linear logic, Computer Science - Programming Languages, Theory of computation Ñ Linear logic Relational semantics, Program metrics, Lawvere quantale Digital Object Identifier 10.4230/LIPIcs.CSL.2024.14, Theory of computation → Lambda calculus, Mathematics - Logic, Differential lambda-calculus, Logic in Computer Science (cs.LO), Theory of computation → Categorical semantics, Tropical semiring, ddc:004, Logic (math.LO), Theory of computation Ñ Categorical semantics, Programming Languages (cs.PL)
File Description: application/pdf
-
9Conference
Authors: Das, Anupam, De, Abhishek, Saurin, Alexis
Contributors: Saurin, Alexis, Anupam Das and Abhishek De and Alexis Saurin
Subject Terms: Theory of computation → Linear logic, fixed points, Omega-branching proofs, Linear logic, [INFO] Computer Science [cs], Analytical hierarchy, non-wellfounded proofs, Fixed points, Theory of computation → Proof theory, linear logic, analytical hierarchy, Non-wellfounded proofs, ddc:004, omega-branching proofs
File Description: application/pdf
-
10Conference
Authors: Chardonnet, Kostia, Saurin, Alexis, Valiron, Benoît
Contributors: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Quantum Computation Structures (QuaCS), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Centre Inria de l'Université Paris-Saclay, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Bartek Klin and Elaine Pimentel, ANR-21-CE48-0019,RECIPROG,Raisonner avec des preuves circulaires pour la programmation(2021), ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022), ANR-17-CE25-0009,SoftQPRO,Solutions logicielles pour l'optimisation des programmes et ressources quantiques(2017)
Source: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic
https://hal.science/hal-04308283
CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Bartek Klin and Elaine Pimentel, Feb 2023, Varsovie (Warsaw), Poland. ⟨10.4230/LIPIcs.CSL.2023.13⟩Subject Terms: Theory of computation → Equational logic and rewriting, Theory of computation → Linear logic, Curry-Howard, Linear Logic, Reversible Computation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Varsovie (Warsaw), Poland
-
11Conference
Authors: Jacobé de Naurois, Paulin
Contributors: Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)
Source: Computer Science Logic ; https://hal.science/hal-03374648 ; Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.10⟩
Subject Terms: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Typing, Linear Logic, Functional Programming, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
-
12Conference
Authors: Jacobé de Naurois, Paulin
Contributors: Gouat, Isabelle, Paulin Jacobé de Naurois, Jacobé De Naurois, Paulin
Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Implicit Complexity, Functional Programming, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], ddc:004, Typing, Linear Logic
File Description: application/pdf
-
13Conference
Contributors: Dipartimento di Informatica Torino, Università degli studi di Torino = University of Turin (UNITO), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord
Source: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
https://hal.science/hal-04759243
6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Jul 2021, Buenos Aires, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.7⟩Subject Terms: λ-calculus, call-by-value, intersection types, solvability, inhabitation, Theory of computation → Denotational semantics, Theory of computation → Linear logic, [INFO]Computer Science [cs]
Subject Geographic: Buenos Aires, Argentina