Space-Valued Diagrams, Type-Theoretically (Extended Abstract).

Nicolai Kraus Christian Sattler

Published in: CoRR (2017)

Keyphrases

extended abstract
space time
t norm
databases
data mining
information systems
three dimensional
face recognition