A talk that I once gave:
Differential generalized cohomology in Cohesive homotopy type theory
talk at
IHP trimester on Semantics of proofs and certified mathematics
Workshop 1: Formalization of Mathematics,
Paris, 5-9 May 2014
on the differential cohomology hexagon in cohesive homotopy type theory and some comments on the application to Synthetic Quantum Field Theory.
Differential cohomology is Cohesive homotopy theory, talk at Higher Geometric Structures along the Lower Rhine June 2014, 19-20 June 2014
Some thoughts on the future of modal homotopy type theory, talk at German Mathematical Society meeting 2015, Hamburg
Last revised on October 13, 2017 at 11:20:26. See the history of this page for a list of all contributions to it.