Bicategories in Univalent Foundations.

Benedikt Ahrens Dan Frumin Marco Maggesi Niels van der Weide

Published in: FSCD (2019)

Keyphrases

artificial intelligence
data sets
information systems
object oriented
data warehouse
decision support
relational databases
xml documents
query processing