Lagoand Hofmann. A Semantic Proof of Polytime Soundness of Light Affine Logic. Springer Nature, Apr. 2009, doi:10.1007/s00224-009-9210-x.