Internalising modified realisability in constructive type theory.

Published in: Log. Methods Comput. Sci. (2005)

Keyphrases

theoretical basis
information theory
theoretical framework
support vector
multiple types
real time
computational model
probabilistic model
evolutionary algorithm
search algorithm
data structure
three dimensional
knowledge base
decision making
learning algorithm
information retrieval
machine learning
neural network