Homotopy Type Theory in Isabelle.

Published in: ITP (2021)

Keyphrases

theoretical framework
computational model
general theory
data sets
neural network
information retrieval
social networks
image processing
relational databases
hidden markov models
fuzzy sets
information theory
conceptual framework