Call-by-name, call-by-value, call-by-need and the linear lambda calculus
translations of intuitionistic logic into linear logic
scientific article; zbMATH DE number 1495173