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