Roy Dyckhoff
1992
Contraction-Free Sequent Calculi for Intuitionistic Logic
J. Symb. Log.
57
3
795–807
10.2307/2275431
Roy Dyckhoff
Luís Pinto
1994
Uniform Proofs and Natural Deductions
Didier Galmiche
Lincoln Wallen
Proceedings of CADE–12 Workshop on Proof Search in Type-Theoretic Languages
INRIA Lorraine – CRIN
717–23
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.43.9659
H. Herbelin
1995
A λ-calculus structure isomorphic to a Gentzen-style sequent calculus structure
L. Pacholski
J. Tiuryn
Proceedings of CSL'94
Lecture Notes in Computer Science
933
Springer-Verlag
61–75
10.1007/BFb0022247
Ekaterina Komendantskaya
Guy McCusker
John Power
2010
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Michael Johnson
Dusko Pavlovic
AMAST
Lecture Notes in Computer Science
6486
Springer
111–127
10.1007/978-3-642-17796-5_7
Ekaterina Komendantskaya
John Power
2011
Coalgebraic Derivations in Logic Programming
Marc Bezem
CSL
LIPIcs
12
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
352–366
10.4230/LIPIcs.CSL.2011.352
Ekaterina Komendantskaya
John Power
2011
Coalgebraic Semantics for Derivations in Logic Programming
Andrea Corradini
Bartek Klin
Corina Cîrstea
CALCO
Lecture Notes in Computer Science
6859
Springer
268–282
10.1007/978-3-642-22944-2_19
Chuck Liang
Dale Miller
2009
Focusing and Polarization in Linear, Intuitionistic, and Classical Logic
Theoretical Computer Science
410
4747–4768
10.1016/j.tcs.2009.07.041
Dale Miller
Gopalan Nadathur
Frank Pfenning
Andre Scedrov
1991
Uniform Proofs as a Foundation for Logic Programming
Annals of Pure and Applied Logic
51
1-2
125–157
10.1016/0168-0072(91)90068-W
Keiko Nakata
Tarmo Uustalu
Marc Bezem
2011
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction
Hongseok Yang
APLAS
LNCS
7078
Springer
353–368
10.1007/978-3-642-25318-8_26
Celia Picard
Ralph Matthes
2012
Permutations in Coinductive Graph Representation
Dirk Pattinson
Lutz Schröder
Coalgebraic Methods in Computer Science (CMCS 2012)
Lecture Notes in Computer Science, IFIP subseries
7399
Springer
218–237
10.1007/978-3-642-32784-1_12
D.J. Pym
E. Ritter
2004
Reductive Logic and Proof-search: Proof Theory, Semantics, and Control
Oxford Logic Guides
Oxford University Press, Incorporated
10.1093/acprof:oso/9780198526339.001.0001