Random Generators for Dependent Types.

Peter Dybjer Qiao Haiyan Makoto Takeyama

Published in: ICTAC (2004)

Keyphrases

database
databases
data structure
computer vision
information systems
case study
cooperative
random variables
independent and identically distributed
randomly distributed