Lescanne, P. Dependent Types for Extensive Games. JFR 2018, 11, 1-17.