The compatibility of the minimalist foundation with homotopy type theory.

Michele Contente Maria Emilia Maietti

Published in: Theor. Comput. Sci. (2024)

Keyphrases

theoretical framework
theoretical foundation
neural network
database
multimedia
theoretical basis
search engine
information systems
website
video sequences
expert systems
trade off
decision theory