If structured propositions are logical procedures then how are procedures individuated?

Marie DuzĂ­. If structured propositions are logical procedures then how are procedures individuated?. Synthese, 196(4):1249-1283, 2019. [doi]

Abstract

Abstract is missing.