Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics


Project Acronym Projekt Kurzbezeichnung
SYSMICS
 
Project Title (de) Projekttitel (de)
Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics
 
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in
 
Status
CLOSED