CJO - Abstract - FUNCTIONAL PEARL <em>Linear lambda calculus and PTIME-completeness</em>

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Journal of Functional Programming (2004), 14 : 623-633 Cambridge University Press
Copyright © 2004 Cambridge University Press
doi:10.1017/S0956796804005131 (About doi)
Published online by Cambridge University Press 27 Oct 2004
back to top
Cambridge University Press