Mathematical Structures in Computer Science (2008), 18 : 501-553 Cambridge University Press
doi:10.1017/S0960129508006774 (About doi)
Published online by Cambridge University Press 18 Jun 2008
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=1910304
Copy and paste this citation
DAVID SABEL
and MANFRED SCHMIDT-SCHAUSS
(2008).
A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations. Mathematical Structures in Computer Science,
18
,
pp 501-553
doi:10.1017/S0960129508006774
doi:10.1017/S0960129508006774
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
