2-adjoint equivalences in homotopy type theory.

Daniel Carranza Jonathan Chang Chris Kapulkin Ryan Sandford

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

theoretical basis
theoretical framework
neural network
data mining
real time
computer vision
optimal control
data sets
information retrieval
multimedia
case study
multi agent
probabilistic model
belief functions