Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. - Urs Schreiber; Michael Shulman (QPL, 2012)