Prototype Proofs in Type Theory.

Published in: Math. Log. Q. (2000)

Keyphrases

theoretical framework
theoretical basis
formal theory
database
real time
metadata
website
optimal solution
mobile robot
theoretical foundation
theorem prover
belief functions
general theory
equational theories