TY  - RPRT
TI  - What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory
AU  - Sara Ayhan
PY  - 2023
DO  - 10.26686/ajl.v20i3.7692
UR  - https://arxiv.org/abs/2310.15446
ID  - 2310.15446
ER  -