Login / Signup

A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory.

Kuen-Bang Hou (Favonia)Eric FinsterDaniel R. LicataPeter LeFanu Lumsdaine
Published in: LICS (2016)
Keyphrases
  • von neumann
  • machine intelligence
  • formal theory
  • database
  • theoretical framework
  • artificial intelligence
  • social networks
  • multiscale
  • artificial neural networks
  • information processing
  • theoretical foundation