In this work, we introduce the sequentialized version of the bipolar focussing sequent calculus, i.e. a graphical representation of bipolar proofs as proof-structures (eventually, proof nets) which preserves only essential sequentializations.
Maieli, R., ANDREOLI Jean, M. (2010). Transactional Nets. In Proceedings of the Third Int'l Conference on Types, Logic and Grammars (TLG3).