Login / Signup
Homotopy type theory as internal languages of diagrams of ∞-logoses.
Taichi Uemura
Published in:
CoRR (2022)
Keyphrases
</>
theoretical framework
theoretical basis
type checking
formal languages
case study
learning algorithm
question answering
internal and external