• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Special issue on homotopy type theory 2019.

Dan LicataPeter LeFanu Lumsdaine
Published in: Math. Struct. Comput. Sci. (2021)
Keyphrases
  • special issue
  • international journal
  • ai edam
  • ecml pkdd
  • applied intelligence
  • theoretical framework
  • theoretical basis
  • neural network
  • special section