Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=254707
Copy and paste this citation
HARRY G. MAIRSON
(2004).
FUNCTIONAL PEARL Linear lambda calculus and PTIME-completeness. Journal of Functional Programming, 14
,
pp 623-633
doi:10.1017/S0956796804005131