Krivine's classical realisability from a categorical perspective.

Thomas Streicher

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

Keyphrases

viewpoint
neural network
artificial intelligence
decision making
image sequences
real time
information retrieval
high level
objective function
data model
hidden markov models
attribute values