Ext groups in Homotopy Type Theory.

J. Daniel Christensen Jarl G. Taxerås Flaten

Published in: CoRR (2023)

Keyphrases

theoretical framework
information theory
theoretical basis
web pages
data sets
formal theory
real time
artificial intelligence
image processing
objective function
wide range
cluster analysis
file system
decision theory