From Cubes to Twisted Cubes via Graph Morphisms in Type Theory.

Gun Pinyo Nicolai Kraus

Published in: TYPES (2019)

Keyphrases

data cube
theoretical framework
theoretical basis
graph representation
structured data
graph theory
weighted graph
graph model
general theory
search algorithm
belief functions
multiple types
stable set