P. Lescanne, “Dependent Types for Extensive Games”, JFR, vol. 11, no. 1, pp. 1–17, Jan. 2018.