Modalities in homotopy type theory.

Egbert Rijke Michael Shulman Bas Spitters

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

Keyphrases

theoretical framework
theoretical basis
general theory
databases
multiscale
objective function
database
neural network
artificial intelligence
image processing
decision trees
control system
computational model