Generalizations of Hedberg's Theorem.

Nicolai Kraus Martín Hötzel Escardó Thierry Coquand Thorsten Altenkirch

Published in: TLCA (2013)

Keyphrases

von neumann
data sets
decision making
real time
computer vision
learning environment
pattern recognition
special case