1.1k citations
- École PolytechniqueFR461 papers
- Centre National de la Recherche ScientifiqueFR295 papers
- Institut national de recherche en sciences et technologies du numériqueFR118 papers
- Centre Inria de SaclayFR62 papers
- Institut Polytechnique de ParisFR60 papers
- CRANFR28 papers
- Université Paris CitéFR28 papers
- Université Paris-SaclayFR26 papers
- Sorbonne UniversitéFR25 papers
- Université de LorraineFR18 papers
- Université Paris-SudFR17 papers
- École Normale Supérieure de LyonFR14 papers
Showing 2017 · cs.LOShow all
3 papers · 2 filters
cs.LO2017★ 7 cited
Coherent Presentations of Monoidal Categories
Pierre-Louis Curien, Samuel Mimram
Presentations of categories are a well-known algebraic tool to provide descriptions of categories by means of generators, for objects and morphisms, and relations on morphisms. We…
cs.LO2017★ 4 cited
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics
Matteo Acclavio
Proof nets are a syntax for linear logic proofs which gives a coarser notion of proof equivalence with respect to syntactic equality together with an intuitive geometrical represen…
cs.LO2017★ 1 cited
A Proof Theory for Model Checking: An Extended Abstract
Quentin Heath, Dale Miller
While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide…