main.bib

@article{Tai68,
    author="Tait, W. W.",
    editor="Barwise, Jon",
    title="Normal derivability in classical logic",
    booktitle="The Syntax and Semantics of Infinitary Languages",
    year="1968",
    publisher="Springer Berlin Heidelberg",
    address="Berlin, Heidelberg",
    pages="204--236",
    isbn="978-3-540-35900-5",
    doi="10.1007/BFb0079691",
    url="https://doi.org/10.1007/BFb0079691"
}

@book{Lec11,
    title={Meaning, logic and ludics},
    author={Lecomte, Alain},
    year={2011},
    publisher={World Scientific}
}

@book{Gir06,
    title={Le point aveugle: cours de logique. 1. Tome 1, Vers la perfection},
    author={Girard, Jean-Yves},
    year={2006},
    publisher={Hermann}
}

@article{Gir03,
    title={From Foundations to Ludics},
    author={Girard, Jean-Yves},
    year={2003},
    booktitle={Bulletin of Symbolic Logic}
}

@article{Gir01,
    title={LOCUS SOLUM: from the rules of logic to the logic of rules},
    author={Girard, Jean-Yves},
    year={2001}
}

@article{And92,
    title={Logic Programming with Focusing Proofs in Linear Logic},
    author={Andreoli, Jean-Marc},
    year={1992},
    booktitle={Journal of Logic and Computation}
}

@InProceedings{Sau08,
    author="Saurin, Alexis",
    editor="Garcia de la Banda, Maria and Pontelli, Enrico",
    title="Towards Ludics Programming: Interactive Proof Search",
    booktitle="Logic Programming",
    year="2008",
    publisher="Springer Berlin Heidelberg",
    address="Berlin, Heidelberg",
    pages="253--268",
    abstract="Girard [1] introduced Ludics as an interactive theory aiming at overcoming the distinction between syntax and semantics in logic.",
    isbn="978-3-540-89982-2"
}

@inproceedings{Fou11,
    author = {Fouquer{\'e}, Christophe},
    title = {Ludics and Web: Another Reading of Standard Operations},
    year = {2011},
    pages = {58-77},
    editor = {Alain Lecomte and Samuel Tron{\c{c}}on},
    booktitle = {Ludics, Dialogue and Interaction},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {6505},
    isbn = {978-3-642-19211-1}
}

@article{Ter11,
    author = {Terui, Kazushige},
    year = {2011},
    month = {04},
    pages = {2048-2071},
    title = {Computational ludics},
    volume = {412},
    booktitle = {Theor. Comput. Sci.}
}

@misc{vPN01,
    title={Structural proof theory},
    author={von Plato, Jan and Negri, Sara},
    year={2001},
    publisher={Cambridge University Press}
}

@article{Cur05,
    title={Introduction to linear logic and ludics, part {I}},
    author={Curien, Pierre-Louis},
    year={2005},
    pages={513-544},
    booktitle={Advances in Mathematics (China)},
    volume={34},
    number={5}
}

@Article{Gen35,
	author="Gentzen, Gerhard",
	title="Untersuchungen {\"u}ber das logische Schlie{\ss}en. I",
	journal="Mathematische Zeitschrift",
	year="1935",
	month="Dec",
	day="01",
	volume="39",
	number="1",
	pages="176--210",
	issn="1432-1823",
	doi="10.1007/BF01201353",
	url="https://doi.org/10.1007/BF01201353"
}

@article{OP99,
    title={The logic of bunched implications},
    author={O'Hearn, Peter W. and Pym, David J.},
    journal={Bulletin of Symbolic Logic},
    volume={5},
    number={2},
    pages={215--244},
    year={1999},
    publisher={Cambridge University Press}
}

@article{LQFD07,
    title={Une introduction à la Ludique et à ses applications à la Pragmatique},
    author={Lecomte, Alain and Quatrini, Myriam and Fleury-Donnadieu, Marie-Renée},
    year={2007}
}

@article{Lec08,
    title={Ludique : une logique sans axiome d’identité},
    author={Lecomte, Alain},
    year=2008
}

@mastersthesis{Sei07,
    title={La ludique},
    author={Seiller, Thomas},
    school={Université Paris 1 Panthéon-Sorbonne},
    year={2007}
}