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

01.03.2016 - 28.02.2019
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • European Commission (EU) H2020 I.3. MSCA Marie Sklodowska-Curie Maßnahmen Säule Wissenschaftsexzellenz Rahmenprogramm Horizont 2020 Europäische Kommission Ausschreibungskennung H2020-MSCA-RISE-2015 Antragsnummer 689176

Forschungsschwerpunkte

  • Information and Communication Technology

Publikationen