Metatheory in Type Theory

Activity: Talks and presentationsTalk or oral contributionScience to Public

Period22 Feb 2018
Event titleInternational Workshop: Modern Axiomatics and Early Metatheory
Event typeConference
LocationWien, AustriaShow on map
Degree of RecognitionInternational