@inproceedings(AcclavioMaieli20,
 author       = {Matteo Acclavio and Roberto Maieli},
 year         = {2020},
 title        = {Generalized Connectives for Multiplicative Linear Logic},
 booktitle    = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020, January 13-16, 2020, Barcelona, Spain},
 pages        = {6:1--6:16},
 doi          = {10.4230/LIPIcs.CSL.2020.6},
)
@article(BST2010,
 author       = {Michele Basaldella and Alexis Saurin and Kazushige Terui},
 year         = {2010},
 title        = {From Focalization of Logic to the Logic of Focalization},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {265},
 pages        = {161--176},
 doi          = {10.1016/j.entcs.2010.08.010},
)
@article(BT2010,
 author       = {Michele Basaldella and Kazushige Terui},
 year         = {2010},
 title        = {On the meaning of logical completeness},
 journal      = {Logical Methods in Computer Science},
 volume       = {6},
 number       = {4},
 doi          = {10.2168/LMCS-6(4:11)2010},
)
@article(curien2005,
 author       = {Pierre{-}Louis Curien},
 year         = {2005},
 title        = {Introduction to linear logic and ludics, part {II}},
 journal      = {CoRR},
 volume       = {abs/cs/0501039},
 eprint       = {cs/0501039},
)
@book(Dummett91,
 author       = {Michael Dummett},
 year         = {1991},
 title        = {The Logical Basis of Metaphysics},
 publisher    = {Duckworth},
 address      = {London},
)
@article(faggian2006,
 author       = {Claudia Faggian},
 year         = {2006},
 title        = {Interactive observability in Ludics: The geometry of tests},
 journal      = {Theor. Comput. Sci.},
 volume       = {350},
 number       = {2-3},
 pages        = {213--233},
 doi          = {10.1016/j.tcs.2005.10.042},
)
@article(FQ2018,
 author       = {Christophe Fouquer{\'{e}} and Myriam Quatrini},
 year         = {2018},
 title        = {Study of Behaviours via Visitable Paths},
 journal      = {Logical Methods in Computer Science},
 volume       = {14},
 number       = {2},
 doi          = {10.23638/LMCS-14(2:7)2018},
)
@article(FrancezDyckhoff2012,
 author       = {Nissim Francez and Roy Dyckhoff},
 year         = {2012},
 title        = {A Note on Harmony},
 journal      = {J. Philosophical Logic},
 volume       = {41},
 number       = {3},
 pages        = {613--628},
 doi          = {10.1007/s10992-011-9208-0},
)
@article(girard2001,
 author       = {Jean{-}Yves Girard},
 year         = {2001},
 title        = {Locus Solum: From the rules of logic to the logic of rules},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {11},
 number       = {3},
 pages        = {301--506},
 doi          = {10.1017/S096012950100336X},
)
@incollection(GuerrieriNaibo20,
 author       = {Giulio Guerrieri and Alberto Naibo},
 year         = {2020},
 title        = {The problem of harmony in classical logic},
 editor       = {Igor Sedl{\'a}r and Martin Blicha},
 booktitle    = {The Logica Yearbook 2019},
 publisher    = {College Publications},
 address      = {London},
)
@article(NP2015,
 author       = {Alberto Naibo and Mattia Petrolo},
 year         = {2015},
 title        = {Are Uniqueness and Deducibility of Identicals the Same?},
 journal      = {Theoria},
 volume       = {81},
 number       = {2},
 pages        = {143--181},
 doi          = {10.1111/theo.12051},
)
@incollection(NaiboMattiaSeiller2016,
 author       = {Alberto Naibo and Mattia Petrolo and Thomas Seiller},
 year         = {2016},
 title        = {On the Computational Meaning of Axioms},
 editor       = {Juan Redmond and Pombo Martins, Olga and Nepomuceno Fern{\'a}ndez, {\'A}ngel},
 booktitle    = {Epistemology, Knowledge and the Impact of Interaction},
 publisher    = {Springer International Publishing},
 pages        = {141--184},
 doi          = {10.1007/978-3-319-26506-3_5},
)
@inproceedings(pavaux2017,
 author       = {Alice Pavaux},
 year         = {2017},
 title        = {Inductive and Functional Types in Ludics},
 booktitle    = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017, August 20-24, 2017, Stockholm, Sweden},
 pages        = {34:1--34:20},
 doi          = {10.4230/LIPIcs.CSL.2017.34},
)
@phdthesis(pavaux2017c,
 author       = {Alice Pavaux},
 year         = {2017},
 title        = {Inductive, Functional and Non-Linear Types in Ludics},
 school       = {Universit{\'{e}} Paris 13},
)
@article(PfenningDavies2001,
 author       = {Frank Pfenning and Rowan Davies},
 year         = {2001},
 title        = {A judgmental reconstruction of modal logic},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {11},
 number       = {4},
 pages        = {511--540},
 doi          = {10.1017/S0960129501003322},
)
@article(vonplato2008,
 author       = {Jan von Plato},
 year         = {2008},
 title        = {Gentzen's Proof of Normalization for Natural Deduction},
 journal      = {Bull. Symb. Log.},
 volume       = {14},
 number       = {2},
 pages        = {240--257},
 doi          = {10.2178/bsl/1208442829},
)
@book(prawitz1965,
 author       = {Dag Prawitz},
 year         = {1965},
 title        = {Natural Deduction: A Proof-Theoretical Study},
 publisher    = {Almqvist \& Wiksell},
 address      = {Stockholm},
)
@article(SH2014,
 author       = {Schroeder{-}Heister, Peter},
 year         = {2014},
 title        = {The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony},
 journal      = {Studia Logica},
 volume       = {102},
 number       = {6},
 pages        = {1185--1216},
 doi          = {10.1007/s11225-014-9562-3},
)
@incollection(SchroederHeister18,
 author       = {Schroeder-Heister, Peter},
 year         = {2018},
 title        = {Proof-Theoretic Semantics},
 editor       = {Edward N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {spring 2018},
 publisher    = {Metaphysics Research Lab, Stanford University},
 url          = {https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/},
)
@book(Gentzen69,
 editor       = {Manfred E. Szabo},
 year         = {1969},
 title        = {The Collected Papers of Gerhard Gentzen},
 publisher    = {North-Holland},
 address      = {Amsterdam},
)
@article(terui2011,
 author       = {Kazushige Terui},
 year         = {2011},
 title        = {Computational ludics},
 journal      = {Theor. Comput. Sci.},
 volume       = {412},
 number       = {20},
 pages        = {2048--2071},
 doi          = {10.1016/j.tcs.2010.12.026},
)