Cite
MLA Citation
Nicolas Clerbout and Shahid Rahman. Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice. Cham : Springer, 2015. http://access.bl.uk/ark:/81055/vdc_100073753124.0x000001