Categorical Combinatorics for Innocent Strategies.

Russell Harmer Martin Hyland Paul-André Melliès

Published in: LICS (2007)

Keyphrases

graph theory
real time
real world
similarity measure
bayesian networks
multiresolution
search strategies
categorical data