Polarized proof-nets and \(\lambda \mu\)-calculus
scientific article; zbMATH DE number 1857111