Revisiting the categorical interpretation of dependent type theory.

Pierre-Louis Curien Richard Garner Martin Hofmann

Published in: Theor. Comput. Sci. (2014)

Keyphrases

theoretical framework
computational model
databases
formal theory
general theory
image interpretation
theoretical basis
three dimensional
multimedia
user interface
image analysis
hidden markov models
data structure
face recognition
probability theory
social networks
real time