Y. Bertot, Coinduction in Coq Open archives, 2006.

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

A. M. Colman, Depth of strategic reasoning in games, Trends in Cognitive Sciences, vol.7, issue.1, pp.1-2, 2003.
DOI : 10.1016/S1364-6613(02)00006-2

S. Coupet, An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions, Journal of Logic and Computation, vol.13, issue.6, pp.801-813, 2003.
DOI : 10.1093/logcom/13.6.801

G. Gentzen, Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935.
DOI : 10.1007/BF01201353

H. Gintis, Game Theory Evolving: A Problem-Centered Introduction to Modeling Strategic Interaction, 2000.

J. Girard, Y. Lafont, and P. Taylor, Proofs and Types, volume 7 of Cambridge Tracts in Theoret Computer Science, 1989.

M. J. Osborne and A. Rubinstein, A Course in Game Theory, 1994.

M. J. Osborne, An Introduction to Game Theory, 2004.

D. Prawitz, Natural Deduction: A Proof Theoretical Study, Almqvist and Wiksell, 1965.

R. Stéphane-le, Abstraction and Formalization in Game Theory, Ecole normale supérieure de Lyon (France), 2008.

M. Shubik, The Dollar Auction game: a paradox in noncooperative behavior and escalation, Journal of Conflict Resolution, vol.15, issue.1, pp.109-111, 1971.
DOI : 10.1177/002200277101500111

D. Stahl and P. Wilson, On Players??? Models of Other Players: Theory and Experimental Evidence, Games and Economic Behavior, vol.10, issue.1, pp.218-254, 1995.
DOI : 10.1006/game.1995.1031

D. Van-dalen, Logic and Structure, 1997.

R. Vestergaard, A constructive approach to sequential Nash equilibria, Information Processing Letters, vol.97, issue.2, pp.46-51, 2006.
DOI : 10.1016/j.ipl.2005.09.010

J. Zhang and T. Hedden, Two paradigms for depth of strategic reasoning in games, Trends in Cognitive Sciences, vol.7, issue.1, pp.4-5, 2003.
DOI : 10.1016/S1364-6613(02)00007-4