Olivier Laurent Polarized proof-nets and lambda-µ-calculus. 161-188 2003 290 Theor. Comput. Sci. 1 db/journals/tcs/tcs290.html#Laurent03