Higher-order games with dependent types.

Martín Escardó Paulo Oliva

Published in: Theor. Comput. Sci. (2023)

Keyphrases

higher order
pairwise
artificial intelligence
natural images
data sets
high order
monte carlo
low order
nash equilibria
multiple types
game play
video games
incomplete information
game theory
markov random field
case study
website
learning algorithm