Auflistung Workshops 2011 nach Workshop Code "1109a"
Anzeige der Dokumente 1-1 von 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 ...