Coinduction in Coq Open archives, 2006. ,
Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00344237
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
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
Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935. ,
DOI : 10.1007/BF01201353
Game Theory Evolving: A Problem-Centered Introduction to Modeling Strategic Interaction, 2000. ,
Proofs and Types, volume 7 of Cambridge Tracts in Theoret Computer Science, 1989. ,
A Course in Game Theory, 1994. ,
An Introduction to Game Theory, 2004. ,
Natural Deduction: A Proof Theoretical Study, Almqvist and Wiksell, 1965. ,
Abstraction and Formalization in Game Theory, Ecole normale supérieure de Lyon (France), 2008. ,
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
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
Logic and Structure, 1997. ,
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
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