Dan Hernest and Trifon Trifonov | Light Dialectica Revisited |
Stefan Hetzl, Alexander Leitsch, Daniel Weller and Bruno Woltzenlogel Paleo | Herbrand Sequent Extraction |
Richard McKinley | Herbrand expansion proofs and proof identity |
Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa and Hiroshi Nakano | Inhabitance of Existential Types is Decidable in Negation-Product Fragment |
Steffen van Bakel, Luca Cardelli and Maria Grazia Vigliotti | From X to pi; Representing the Classical Sequent Calculus in the Pi-calculus |
James Brotherston and Cristiano Calcagno | Classical Logic of Bunched Implications |
Ozan Kahramanogullari | Ingredients of a Deep Inference Theorem Prover |
Diana Ratiu | An Application of the Refined A-Translation for a Variant of the Infinite Pigeon Hole Principle |
Alexander Summers | A Curry-Howard Correspondence for a Canonical Classical Natural Deduction |
Willem Heijltjes | Proof Forests with Cut-Elimination Based on Herbrand's Theorem |