Conference Twenty-Five Years of Constructive Type Theory (1995 : Venedig) Bezüge im Wissensnetz Veranstaltungsort (1) GND Venedig