Login / Signup
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