From Proof-Nets to Linear Logic Type Systems for Polynomial Time Computing
scientific article