Linear lambda calculus and PTIME-completeness

Harry G. Mairson. Linear lambda calculus and PTIME-completeness. Journal of Functional Programming, 14(6):623-633, 2004. [doi]

Abstract

Abstract is missing.