Conference on Type Theory, Homotopy Theory and Univalent Foundations (2013 : Barcelona) Bezüge im Wissensnetz Als In Beziehung stehende Konferenz oder Veranstaltung beteiligt (1) GND 1114425206 Veranstaltungsort (1) GND Barcelona In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1114425206