Conference Acceptance: Sophie Nagler
Sophie’s paper Behavioural Inferentialist Semantics for the Connectives in 2-Sided Sequent Calculi was selected for the conference Proof Society 2024. This conference is run by The Proof...
Sophie’s paper Behavioural Inferentialist Semantics for the Connectives in 2-Sided Sequent Calculi was selected for the conference Proof Society 2024. This conference is run by The Proof...