The univalence axiom in cubical sets.

Marc Bezem Thierry Coquand Simon Huber

Published in: CoRR (2017)

Keyphrases

digital images
three dimensional
database
website
information technology
convex sets
artificial intelligence
data structure
digital libraries
modal logic
inference rules
topology preserving
set theoretic