Unifying cubical and multimodal type theory.

Frederik Lerbjerg Aagaard Magnus Baunsgaard Kristensen Daniel Gratzer Lars Birkedal

Published in: CoRR (2022)

Keyphrases

multi modal
theoretical framework
three dimensional
computational model
decision theory
real time
artificial intelligence
e learning
knowledge base
multimedia
database systems
multi agent
theoretical foundation
multimodal information