Andrea Asperti Luca Roversi Intuitionistic Light Affine Logic. 137-175 2002 3 ACM Trans. Comput. Log. 1 http://doi.acm.org/10.1145/504077.504081 db/journals/tocl/tocl3.html#AspertiR02