Type Isomorphisms and Proof Reuse in Dependent Type Theory.

Gilles Barthe Olivier Pons

Published in: FoSSaCS (2001)

Keyphrases

neural network
relational databases
data sets
artificial intelligence
information systems
real time
databases
image processing
three dimensional
data structure
probability distribution
theoretical framework
edit distance