Implicit exchange in multiplicative proofnets

摘要

Proofnets may be seen as orientable surfaces with boundary. We investigate how the topology of such nets relates to the number of exchange rules in corresponding proofs.