Constructive game logic

@inproceedings{DBLP:conf/esop/BohrerP20,
	pdf = {https://link.springer.com/content/pdf/10.1007},
	slides = {pub/constructive-games-slides.pdf},
	author = {['Brandon Bohrer', 'André Platzer']},
	title = {Constructive Game Logic},
	year = {2020},
	pages = {},
	doi = {10.1007/978-3-030-44914-8_4},
	editor = {['Peter Müller']},
	booktitle = {Programming Languages and Systems -
                29th European Symposium on Programming,
               ESOP 2020, Held as Part of the
               European Joint Conferences on Theory
               and Practice of Software, ETAPS 2020,
               Dublin, Ireland, April 25-30, 2020, Proceedings},
	series = {LNCS},
	volume = {12075},
	publisher = {Springer}
}