Metadata only
Author
Date
2005-05Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
Annals of Pure and Applied LogicVolume
Pages / Article No.
Publisher
ElsevierSubject
Functional programming; Call-by-value evaluation; Call-by-name evaluation; Monotonicity of evaluation; Context lemmaNotes
Available online 11 November 2004.More
Show all metadata
ETH Bibliography
yes
Altmetrics