| Subformula Linking For Intuitionistic Logic With Application To Type Theory | 0 | 0.34 | 2021 |
| Formalized meta-theory of sequent calculi for linear logics | 0 | 0.34 | 2019 |
| A proof-theoretic approach to certifying skolemization. | 0 | 0.34 | 2019 |
| Hybrid linear logic, revisited. | 0 | 0.34 | 2019 |
| Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. | 0 | 0.34 | 2018 |
| A two-level logic perspective on (simultaneous) substitutions. | 0 | 0.34 | 2018 |
| Expressing additives using multiplicatives and subexponentials. | 0 | 0.34 | 2018 |
| Formalized Meta-Theory of Sequent Calculi for Substructural Logics. | 3 | 0.44 | 2017 |
| A Hybrid Linear Logic for Constrained Transition Systems. | 3 | 0.40 | 2016 |
| Focused and Synthetic Nested Sequents. | 3 | 0.39 | 2016 |
| A multi-focused proof system isomorphic to expansion proofs | 1 | 0.35 | 2016 |
| Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations | 1 | 0.36 | 2015 |
| An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. | 3 | 0.40 | 2015 |
| A Proof-theoretic Characterization of Independence in Type Theory. | 0 | 0.34 | 2015 |
| A Lightweight Formalization of the Metatheory of Bisimulation-Up-To | 2 | 0.39 | 2015 |
| Equality and fixpoints in the calculus of structures | 0 | 0.34 | 2014 |
| Abella: A System For Reasoning About Relational Specifications | 10 | 0.64 | 2014 |
| A Two-Level Logic Approach to Reasoning About Typed Specification Languages. | 1 | 0.48 | 2014 |
| Automatically Deriving Schematic Theorems for Dynamic Contexts | 4 | 0.43 | 2014 |
| Reasoning about higher-order relational specifications | 6 | 0.55 | 2013 |
| Subformula linking as an interaction method | 2 | 0.38 | 2013 |
| A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology. | 5 | 0.49 | 2013 |
| Compact proof certificates for linear logic | 1 | 0.35 | 2012 |
| A Systematic Approach to Canonicity in the Classical Sequent Calculus. | 5 | 0.50 | 2012 |
| The Focused Calculus of Structures. | 13 | 0.63 | 2011 |
| Magically constraining the inverse method using dynamic polarity assignment | 1 | 0.36 | 2010 |
| Verifying safety properties with the TLA+ proof system | 31 | 1.41 | 2010 |
| Classical and intuitionistic subexponential logics are equally expressive | 12 | 0.72 | 2010 |
| The TLA+proof system: building a heterogeneous verification platform | 10 | 0.56 | 2010 |
| Canonical Sequent Proofs via Multi-Focusing | 27 | 1.13 | 2008 |
| Focusing Strategies in the Sequent Calculus of Synthetic Connectives | 13 | 0.70 | 2008 |
| A Logical Characterization of Forward and Backward Chaining in the Inverse Method | 22 | 1.18 | 2008 |
| A focusing inverse method theorem prover for first-order linear logic | 5 | 0.52 | 2005 |
