Journal of Functional Programming (2004), 14 : 519-546 Cambridge University Press
Copyright © 2004 Cambridge University Press
doi:10.1017/S0956796803004970 (About doi)
Published online by Cambridge University Press 06 Aug 2004
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=241777
Copy and paste this citation
MÁRIO FLORIDO
and LUÍS DAMAS
(2004).
Linearization of the lambda-calculus and its relation with intersection type systems. Journal of Functional Programming,
14
,
pp 519-546
doi:10.1017/S0956796803004970
doi:10.1017/S0956796803004970
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
