A type theory for cartesian closed bicategories (Extended Abstract).

Marcelo Fiore Philip Saville

Published in: LICS (2019)

Keyphrases

extended abstract
computational model
database systems
information technology
special case
data sets
data mining
information retrieval
case study
digital libraries
theoretical foundation
queueing networks
general theory
formal theory