Universal Proof Theory: TACL 2022 Lecture Notes

Rosalie Iemhoff, Raheleh Jalali Keshavarz

Research output: Working paperPreprintAcademic

Original languageEnglish
PublisherarXiv
Publication statusPublished - 2023

Cite this