Login / Signup
Free Higher Groups in Homotopy Type Theory.
Nicolai Kraus
Thorsten Altenkirch
Published in:
CoRR (2018)
Keyphrases
</>
theoretical framework
theoretical basis
data sets
neural network
case study
wide range
mobile robot
higher quality
mathematical foundations
formal theory
skill levels