Forcing and Type Theory.

Thierry Coquand

Published in: CSL (2009)

Keyphrases

theoretical basis
theoretical framework
general theory
computer vision
support vector
probability distribution
real time
machine learning
information systems
image sequences
multi agent
natural language
theoretical foundation
conceptual framework