08 Feb 2023 CELL Workshop | Some Theories of Definite Descriptions from a Proof-Theoretic Perspective.