@unpublished{lescanne:ensl-00376141, TITLE = {{Deconstruction of Infinite Extensive Games using coinduction}}, AUTHOR = {Lescanne, Pierre}, URL = {https://ens-lyon.hal.science/ensl-00376141}, NOTE = {19 p}, YEAR = {2009}, MONTH = Apr, KEYWORDS = {game theory ; coinduction ; proof assistant ; extensive game ; escalation}, PDF = {https://ens-lyon.hal.science/ensl-00376141v1/file/infinite_games.pdf}, HAL_ID = {ensl-00376141}, HAL_VERSION = {v1}, }