Naive cubical type theory.

Published in: Math. Struct. Comput. Sci. (2021)

Keyphrases

natural language
theoretical framework
formal theory
digital images
theoretical basis
data sets
decision making
bayesian networks
artificial neural networks
general theory