Do we mean the same? A use theory of meaning in n-sided sequent calculi.

Activity: Talk or presentation typesInvited talk

Description

Talk at the Logic/Formal Methods Work-in-Progress Seminar. Postponed due to illness.
Period4 Feb 2022
Held atKINGS COLLEGE LONDON, United Kingdom