International Conference on Homotopy Type Theory (2019 : Pittsburgh, Pa.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pittsburgh, Pa. Homepage (1) GND HoTT-2019