论文标题
广泛的无限游戏和升级，AGDA的练习
Extensive Infinite Games and Escalation, an exercise in Agda
论文作者
论文摘要
游戏中的升级是代理商永远玩的时候。根据正式的证据，我们声称如果代理商假定资源是无限的，则升级是理性的。
Escalation in games is when agents keep playing forever. Based on formal proofs we claim that if agents assume that resource are infinite, escalation is rational.
