Light affine lambda calculus and polytime strong normalization | IEEE Conference Publication | IEEE Xplore