Higher-order Games with Dependent Types.

Martín Escardó Paulo Oliva

Published in: CoRR (2022)

Keyphrases

higher order
natural images
computer games
high order
game playing
game development
data sets
search algorithm
pairwise
game theory
video games
nash equilibrium