Coherence of strict equalities in dependent type theories.

Rafaël Bocquet

Published in: CoRR (2020)

Keyphrases

information retrieval
data sets
data mining
web pages
three dimensional
multiscale
concept learning
design theory