Substructural logics: proof theory and applications
26.02.2018 08:00 - 28.02.2018 17:35
Organiser:
Agata Ciabattoni (WPI c/o TU Wien)
Location: