Sign in

The Seifert-van Kampen Theorem in Homotopy Type Theory.

Kuen-Bang Hou (Favonia)Michael Shulman
Published in: CSL (2016)
Keyphrases
  • von neumann
  • fixed point
  • cooperative
  • theoretical framework
  • general theory
  • information retrieval
  • web services
  • fuzzy sets
  • computational model
  • theoretical foundation