Workshop on Theories of Types and Proofs (1997 : Tokio) Bezüge im Wissensnetz Veranstaltungsort (1) GND Tokio