-
1Academic Journal
Συγγραφείς: Chardonnet, Kostia, Saurin, Alexis, Valiron, Benoît
Συνεισφορές: Saurin, Alexis, Kostia Chardonnet and Alexis Saurin and Benoît Valiron
Πηγή: Logical Methods in Computer Science. 21
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
2Conference
Συνεισφορές: Rémi Di Guardia and Olivier Laurent and Lorenzo Tortora de Falco and Lionel Vaux Auclair, Vaux Auclair, Lionel, Maribel Fernández
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
3Conference
Συγγραφείς: Miller, Dale
Συνεισφορές: 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
Πηγή: 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⟩
Θεματικοί όροι: Linear logic, multifocused proofs, sequent calculus, 2012 ACM Subject Classification Theory of computation → Proof theory, Theory of computation→ Linear logic, [INFO]Computer Science [cs]
Θέμα γεωγραφικό: Birmingham, United Kingdom
-
4Conference
Συγγραφείς: Dufour, Aloÿs, Mazza, Damiano
Συνεισφορές: 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)
Πηγή: 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⟩Θεματικοί όροι: 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
Συγγραφείς: Sannier, Victor, Baillot, Patrick
Συνεισφορές: Sannier, Victor, Victor Sannier and Patrick Baillot
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
6Conference
Συγγραφείς: Barbarossa, Davide, Pistone, Paolo
Συνεισφορές: 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)
Πηγή: 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⟩
Θεματικοί όροι: 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
Συγγραφείς: Breuvart, Flavien, Kerjean, Marie, Mirwasser, Simon
Συνεισφορές: Mirwasser, Simon, Flavien Breuvart and Marie Kerjean and Simon Mirwasser
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
8Academic Journal
Συγγραφείς: Barbarossa, Davide, Pistone, Paolo
Συνεισφορές: Davide Barbarossa and Paolo Pistone, Pistone, Paolo
Θεματικοί όροι: 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)
Περιγραφή αρχείου: application/pdf
-
9Conference
Συγγραφείς: Das, Anupam, De, Abhishek, Saurin, Alexis
Συνεισφορές: Saurin, Alexis, Anupam Das and Abhishek De and Alexis Saurin
Θεματικοί όροι: 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
Περιγραφή αρχείου: application/pdf
-
10Conference
Συγγραφείς: Chardonnet, Kostia, Saurin, Alexis, Valiron, Benoît
Συνεισφορές: 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)
Πηγή: 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⟩Θεματικοί όροι: 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]
Θέμα γεωγραφικό: Varsovie (Warsaw), Poland
-
11Conference
Συγγραφείς: Jacobé de Naurois, Paulin
Συνεισφορές: 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)
Πηγή: Computer Science Logic ; https://hal.science/hal-03374648 ; Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.10⟩
Θεματικοί όροι: 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
Συγγραφείς: Jacobé de Naurois, Paulin
Συνεισφορές: Gouat, Isabelle, Paulin Jacobé de Naurois, Jacobé De Naurois, Paulin
Θεματικοί όροι: [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
Περιγραφή αρχείου: application/pdf
-
13Conference
Συγγραφείς: Ronchi Della Rocca, Simona, Kerinec, Axel, Manzonetto, Giulio
Συνεισφορές: 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
Πηγή: 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⟩Θεματικοί όροι: λ-calculus, call-by-value, intersection types, solvability, inhabitation, Theory of computation → Denotational semantics, Theory of computation → Linear logic, [INFO]Computer Science [cs]
Θέμα γεωγραφικό: Buenos Aires, Argentina