Naive cubical type theory.

Published in: CoRR (2019)

Keyphrases

theoretical framework
theoretical basis
conceptual framework
neural network
hidden markov models
digital images
general theory
database
machine learning
website
clustering algorithm
information technology
rough sets
computational model
formal theory