Kazushige Terui Light affine lambda calculus and polynomial time strong normalization. 253-280 2007 46 Arch. Math. Log. 3-4 http://dx.doi.org/10.1007/s00153-007-0042-6 db/journals/aml/aml46.html#Terui07