Games for Dependent Types.

Samson Abramsky, Radha Jagadeesan, Matthijs Vkr

Browse the full ICALP paper archive.