Directed univalence in simplicial homotopy type theory.

Daniel Gratzer Jonathan Weinberger Ulrik Buchholtz

Published in: CoRR (2024)

Keyphrases

theoretical framework
databases
neural network
cooperative
theoretical foundation
data sets
computer vision
artificial neural networks
evolutionary algorithm
conceptual framework