Bicategories in univalent foundations.

Benedikt Ahrens Dan Frumin Marco Maggesi Niccolò Veltri Niels van der Weide

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

Keyphrases

artificial intelligence
databases
database
data mining
machine learning
information systems
metadata
case based reasoning
relational databases
data warehouse
information technology
user interface