Generalized Chevalley criteria in simplicial homotopy type theory.

Jonathan Weinberger

Published in: CoRR (2024)

Keyphrases

newly defined
theoretical framework
theoretical foundation
formal theory
general theory
selection criteria
multi criteria
genetic algorithm
computational model
information theory
probabilistic model
theoretical basis
multiple criteria
relational databases
information technology
multi agent
decision trees