Login / Signup
Connecting Constructive Notions of Ordinals in Homotopy Type Theory.
Nicolai Kraus
Fredrik Nordvall Forsberg
Chuangjie Xu
Published in:
CoRR (2021)
Keyphrases
</>
theoretical framework
formal theory
computational model
conceptual framework
database
website
decision trees
three dimensional
bayesian networks
multi agent
search algorithm
set theory