Lescanne, Pierre. “Dependent Types for Extensive Games”. Journal of Formalized Reasoning 11, no. 1 (January 1, 2018): 1–17. Accessed April 27, 2024. https://jfr.unibo.it/article/view/7517.