On the Strength of Proof-irrelevant Type Theories.

Benjamin Werner

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

real world
case study
relational databases
theorem prover
multiple types
database
databases
learning algorithm
metadata