What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory

Sara Ayhan

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of…