Login / Signup
The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations.
Daniel Gratzer
Håkon Gylterud
Anders Mörtberg
Elisabeth Stenholm
Published in:
CoRR (2024)
Keyphrases
</>
artificial intelligence
set theoretic
theoretical framework
computational model
theoretical foundation
object categories
theoretical basis
learning algorithm
computer vision
web pages
computer science
conceptual framework