{"id":"https://openalex.org/W2123733847","doi":"https://doi.org/10.1016/s1571-0661(04)00022-2","title":"Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus","display_name":"Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2123733847","doi":"https://doi.org/10.1016/s1571-0661(04)00022-2","mag":"2123733847"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00022-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00022-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)00022-2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035317720","display_name":"John Maraist","orcid":null},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"John Maraist","raw_affiliation_strings":["Institut f\u00fcr Programmstrukturen, University of Karlsruhe, 76128 Karlsruhe, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Programmstrukturen, University of Karlsruhe, 76128 Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085410724","display_name":"Martin Odersky","orcid":"https://orcid.org/0009-0005-3923-8993"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Martin Odersky","raw_affiliation_strings":["Institut f\u00fcr Programmstrukturen, University of Karlsruhe, 76128 Karlsruhe, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Programmstrukturen, University of Karlsruhe, 76128 Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103350010","display_name":"David N. Turner","orcid":null},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"David N. Turner","raw_affiliation_strings":["Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland","Dept. of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"Dept. of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018878077","display_name":"Philip Wadler","orcid":"https://orcid.org/0000-0001-7619-6378"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Philip Wadler","raw_affiliation_strings":["Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland","Dept. of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"Dept. of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland","institution_ids":["https://openalex.org/I7882870"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5018878077","https://openalex.org/A5035317720","https://openalex.org/A5085410724","https://openalex.org/A5103350010"],"corresponding_institution_ids":["https://openalex.org/I102335020","https://openalex.org/I7882870"],"apc_list":null,"apc_paid":null,"fwci":2.3569,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.89968901,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"1","issue":null,"first_page":"370","last_page":"392"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.6773852109909058},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.6536895036697388},{"id":"https://openalex.org/keywords/call-to-action","display_name":"Call to action","score":0.581308901309967},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5697813630104065},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5425231456756592},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5258227586746216},{"id":"https://openalex.org/keywords/curry\u2013howard-correspondence","display_name":"Curry\u2013Howard correspondence","score":0.45145097374916077},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4296852648258209},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.4144671559333801},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.26856231689453125}],"concepts":[{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.6773852109909058},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.6536895036697388},{"id":"https://openalex.org/C105152847","wikidata":"https://www.wikidata.org/wiki/Q5021685","display_name":"Call to action","level":2,"score":0.581308901309967},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5697813630104065},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5425231456756592},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5258227586746216},{"id":"https://openalex.org/C85343465","wikidata":"https://www.wikidata.org/wiki/Q975734","display_name":"Curry\u2013Howard correspondence","level":3,"score":0.45145097374916077},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4296852648258209},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.4144671559333801},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.26856231689453125},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/s1571-0661(04)00022-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00022-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/5f82ee26-690d-408c-94a5-acd3137a1492","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/5f82ee26-690d-408c-94a5-acd3137a1492","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Maraist, J, Odersky, M, Turner, D N & Wadler, P 1995, 'Call-by-name, Call-by-value, Call-by-need, and the Linear Lambda Calculus', Electronic Notes in Theoretical Computer Science, vol. 1, pp. 370-392. https://doi.org/10.1016/S1571-0661(04)00022-2","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00022-2","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00022-2","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W20138908","https://openalex.org/W135301368","https://openalex.org/W203812023","https://openalex.org/W1563480347","https://openalex.org/W1572370762","https://openalex.org/W1605806361","https://openalex.org/W1928448741","https://openalex.org/W1975575519","https://openalex.org/W1977898832","https://openalex.org/W2004843654","https://openalex.org/W2011648260","https://openalex.org/W2012968289","https://openalex.org/W2030663607","https://openalex.org/W2063179190","https://openalex.org/W2065261632","https://openalex.org/W2088735483","https://openalex.org/W2095436832","https://openalex.org/W2101016798","https://openalex.org/W2116508343","https://openalex.org/W2123733847","https://openalex.org/W2141118822","https://openalex.org/W2142401116","https://openalex.org/W2144747140","https://openalex.org/W2148761448","https://openalex.org/W2156268797","https://openalex.org/W2156876717","https://openalex.org/W2160715741","https://openalex.org/W2166378226","https://openalex.org/W2494489586","https://openalex.org/W2531351704","https://openalex.org/W2911865844","https://openalex.org/W2912106379","https://openalex.org/W3145063512","https://openalex.org/W4256453086","https://openalex.org/W4285719527","https://openalex.org/W4388313859","https://openalex.org/W6657955427","https://openalex.org/W6666361901","https://openalex.org/W6677621957","https://openalex.org/W6681357427","https://openalex.org/W6758589049"],"related_works":["https://openalex.org/W2166879872","https://openalex.org/W2112970627","https://openalex.org/W1952931766","https://openalex.org/W2132734990","https://openalex.org/W2503066413","https://openalex.org/W1529508373","https://openalex.org/W2010113673","https://openalex.org/W2761902706","https://openalex.org/W1761411969","https://openalex.org/W2740609775"],"abstract_inverted_index":{"Girard":[0],"described":[1],"two":[2],"translations":[3,35],"of":[4,33,61,109,117],"intuitionistic":[5],"logic":[6],"into":[7,114],"linear":[8],"logic,":[9],"one":[10],"where":[11,22,71],"A":[12],"\u2192":[13],"B":[14],"maps":[15,24],"to":[16,25,44,52,66,85],"(!A)":[17],"\u2013\u25cb":[18,27],"B,":[19],"and":[20,38,97],"another":[21],"it":[23],"!(A":[26],"B).":[28],"We":[29,54],"detail":[30],"the":[31,41,49,59,62,81,100,115,118],"action":[32],"these":[34],"on":[36],"terms,":[37],"show":[39,56],"that":[40,57],"first":[42],"corresponds":[43,51,84],"a":[45,86],"call-by-name":[46],"calculus,":[47,70,88],"while":[48],"second":[50,82],"call-by-value.":[53],"further":[55],"if":[58],"target":[60],"translation":[63,83],"is":[64,77],"taken":[65],"be":[67,105],"an":[68],"affine":[69],"!":[72],"controls":[73],"contraction":[74],"but":[75],"weakening":[76],"allowed":[78],"everywhere,":[79],"then":[80],"call-by-need":[87],"as":[89],"recently":[90],"defined":[91],"by":[92],"Ariola,":[93],"Felleisen,":[94],"Maraist,":[95],"Odersky":[96],"Wadler.":[98],"Thus":[99],"different":[101],"calling":[102],"mechanisms":[103],"can":[104],"explained":[106],"in":[107],"terms":[108],"logical":[110],"translations,":[111],"bringing":[112],"them":[113],"scope":[116],"Curry-Howard":[119],"isomorphism.":[120]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":4}],"updated_date":"2026-05-14T08:36:36.166977","created_date":"2025-10-10T00:00:00"}