Metadata only
Autor(in)
Datum
2005-05Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
Annals of Pure and Applied LogicBand
Seiten / Artikelnummer
Verlag
ElsevierThema
Functional programming; Call-by-value evaluation; Call-by-name evaluation; Monotonicity of evaluation; Context lemmaAnmerkungen
Available online 11 November 2004.ETH Bibliographie
yes
Altmetrics