A type theory for cartesian closed bicategories.

Marcelo Fiore Philip Saville

Published in: CoRR (2019)

Keyphrases

theoretical foundation
theoretical basis
theoretical framework
database
general theory
machine learning
search engine
search algorithm
evolutionary algorithm
belief functions