Quantum Gauge Field Theory in Cohesive Homotopy Type Theory.

Urs Schreiber Michael Shulman

Published in: QPL (2012)

Keyphrases

theoretical framework
general theory
data mining
information retrieval
artificial intelligence
information systems
website
theoretical foundation
belief functions
probability theory
formal theory