Extensional Equality in Intensional Type Theory.

Thorsten Altenkirch

Published in: LICS (1999)

Keyphrases

theoretical framework
query evaluation
database
computer vision
multiscale
expressive power