Disjoint Sums over Type Classes in HOL.

Norbert Völker

Published in: TPHOLs (1999)

Keyphrases

theorem prover
image processing
website
multiscale
learning environment
pairwise
probabilistic model
random variables
theorem proving
formal methods
class hierarchy