Pawel Urzyczyn. Intuitionistic Games: Determinacy, Completeness, and Normalization. Studia Logica, 104(5):957-1001, 2016. [doi]
@article{Urzyczyn16, title = {Intuitionistic Games: Determinacy, Completeness, and Normalization}, author = {Pawel Urzyczyn}, year = {2016}, doi = {10.1007/s11225-016-9661-4}, url = {http://dx.doi.org/10.1007/s11225-016-9661-4}, researchr = {https://researchr.org/publication/Urzyczyn16}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {104}, number = {5}, pages = {957-1001}, }