W-types in homotopy type theory.

Benno van den Berg Ieke Moerdijk

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

multiple types
theoretical framework
information theory
information systems
image segmentation
data sets
databases
data mining
data streams
mobile robot
theoretical foundation
theoretical basis