Y. Berthot and P. Castéran, Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions, 2004.

D. Blackwell, An analog of the minimax theorem for vector payoffs, Pacific Journal of Mathematics, vol.6, issue.1, pp.1-8, 1956.
DOI : 10.2140/pjm.1956.6.1

R. J. Aumann and M. Maschler, Game theoretic analysis of a bankruptcy problem from the Talmud, Journal of Economic Theory, vol.36, issue.2, pp.195-213, 1985.
DOI : 10.1016/0022-0531(85)90102-4

T. Krieger, On Pareto equilibria in vector-valued extensive form games, Mathematical Methods of Operations Research (ZOR), vol.58, issue.3, pp.449-458, 2003.
DOI : 10.1007/s001860300305

W. Harold and . Kuhn, Extensive games and the problem of information, Contributions to the Theory of Games II, 1953.

R. Stéphane-le, Non-determinism and Nash equilibria for sequential game over partial order, Proceedings Computational Logic and Applications, CLA '05. Discrete Mathematics and Theoretical Computer Science Proceedings, 2006.

R. Stéphane-le, Acyclicity and finite linear extendability: a formal and constructive equivalence, 2007.

P. Stéphane-le-roux, R. Lescanne, and . Vestergaard, A discrete Nash theorem with quadratic complexity and dynamic equilibria. Research report IS-RR, 2006.

J. Ariel-rubinstein-martin and . Osborne, A Course in Game Theory, 1994.

J. Nash, Equilibrium points in n-person games, Proceedings of the National Academy of Sciences, vol.8, issue.1, pp.48-49, 1950.
DOI : 10.1073/pnas.36.1.48

J. Von, N. , and O. Morgenstern, Theory of Games and Economic Behavior, 1944.

R. Selten, Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit . Zeitschrift für die desamte Staatswissenschaft, 1965.

R. Selten, Reexamination of the perfectness concept for equilibrium points in extensive games, International Journal of Game Theory, vol.2, issue.1, 1975.
DOI : 10.1007/BF01766400

A. Herbert and . Simon, A behavioral model of rational choice, The Quarterly Journal of Economics, vol.69, issue.1, pp.99-118, 1955.

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