Login / Signup
On the Nielsen-Schreier Theorem in Homotopy Type Theory.
Andrew W. Swan
Published in:
CoRR (2020)
Keyphrases
</>
theoretical framework
von neumann
database
neural network
database systems
decision making
digital libraries
theoretical foundation
formal theory