A generalization of the Takeuti-Gandy interpretation.

Bruno Barras Thierry Coquand Simon Huber

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

image interpretation
semantic interpretation
high level
real world
artificial intelligence
real time
data mining
three dimensional
face recognition
object recognition
learning machines
explanation based generalization