Views of proof-theoretic semantics: reified proof-theoretic meanings
scientific article; zbMATH DE number 6601617