Interactive Theorem Proving Using Type Theory.

Douglas J. Howe

Published in: CSL (1999)

Keyphrases

interactive theorem proving
theoretical foundation
data sets
data model
theoretical framework
theoretical basis
formal theory
real world
social networks
multimedia
cooperative
search algorithm
type checking