Irrelevance in Type Theory with a Heterogeneous Equality Judgement.

Published in: FoSSaCS (2011)

Keyphrases

theoretical framework
real time
computer vision
data sets
neural network
information retrieval
artificial neural networks
decision makers
computational models
information theory
desirable properties
formal theory