An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus | IEEE Conference Publication | IEEE Xplore