Loading...

Dependent Types for Extensive Games - Pierre Lescanne | Arena