Browsing Workshops 2011 by MFO Series ID "OWR-2011-11"
Now showing items 1-1 of 1
-
1109a - Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory
[OWR-2011-11] (2011) - (27 Feb - 05 Mar 2011)Over the past few years it has become apparent that there is a surprising and deep connection between constructive logic and higherdimensional structures in algebraic topology and category theory, in the form of an ...