Cartesian closed bicategories: type theory and coherence.

Published in: CoRR (2020)

Keyphrases

theoretical framework
computational model
real time
neural network
machine learning
search engine
web services
case study
three dimensional
artificial neural networks
multiresolution
theoretical foundation
theoretical basis
general theory