On the History of Metatheory in Modern Type Theory

Activity: Talks and presentationsTalk or oral contributionScience to Public

Period9 May 2018
Event titlePhilosophisches Kolloquium
Event typeConference
LocationLeipzig, GermanyShow on map
Degree of RecognitionInternational