Harry G. Mairson Linear lambda calculus and PTIME-completeness. 623-633 2004 14 J. Funct. Program. 6 http://dx.doi.org/10.1017/S0956796804005131 db/journals/jfp/jfp14.html#Mairson04