Workshop on Proof Search in Type-Theoretic Languages, Lindau, Germany

Michael Franssen (Organiser)

Activity: Participating in or organising an event typesWorkshop, seminar, course or exhibitionScientific

Period5 Jul 1998
Event typeWorkshop