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