Metatheory in Type Theory

Aktivität: Vorträge › Vortrag › Science to Public

Zeitraum22 Feb. 2018
EreignistitelInternational Workshop: Modern Axiomatics and Early Metatheory
VeranstaltungstypKonferenz
OrtWien, ÖsterreichAuf Karte anzeigen
BekanntheitsgradInternational

Verbundene Inhalte