@inproceedings{2dc14a7f08314f088ad16686cb3418de,
title = "Games for Dependent Types",
author = "Samson Abramsky and Radha Jagadeesan and Matthijs V{\'a}k{\'a}r",
year = "2015",
doi = "10.1007/978-3-662-47666-63",
language = "English",
volume = "9135",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "31--43",
editor = "Halld{\'o}rsson, {Magn{\'u}s M.} and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann",
booktitle = "Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II",
address = "Germany",
}