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