Games for Dependent Types.

Samson Abramsky Radha Jagadeesan Matthijs Vákár

Published in: ICALP (2) (2015)

Keyphrases

information systems
computer games
video games
database
databases
case study
game playing