Login / Signup

Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations.

Benedikt AhrensSimon HuberAnders Mörtberg
Published in: Math. Struct. Comput. Sci. (2021)
Keyphrases
  • artificial intelligence
  • theoretical framework
  • cooperative
  • database
  • information systems
  • case study
  • multiscale
  • computer science
  • multiresolution
  • international workshop
  • general theory