{"id":"https://openalex.org/W194548178","doi":null,"title":"Programming Language Semantics Using Extensional $\\lambda$-Calculus Models","display_name":"Programming Language Semantics Using Extensional $\\lambda$-Calculus Models","publication_year":1974,"publication_date":"1974-04-01","ids":{"openalex":"https://openalex.org/W194548178","mag":"194548178"},"language":"en","primary_location":{"id":"pmh:oai:ecommons.cornell.edu:1813/6046","doi":null,"is_oa":false,"landing_page_url":"http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR74-206","pdf_url":null,"source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},"volume":null,"type":"report","is_traditional":false,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037692520","display_name":"Herbert Egli","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Herbert Egli","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5037692520"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.0,"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"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.0,"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/lambda-terms","display_name":"lambda terms","score":0.5899999737739563},{"id":"https://openalex.org/keywords/programming-language-semantics","display_name":"program semantics","score":0.7950000166893005},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"denotational semantics","score":0.8500000238418579},{"id":"https://openalex.org/keywords/low-cycle-fatigue","display_name":"low cycle fatigue","score":0.5989999771118164},{"id":"https://openalex.org/keywords/recursive-procedures","display_name":"recursive procedures","score":0.6129999756813049},{"id":"https://openalex.org/keywords/blocks","display_name":"blocks","score":0.734000027179718}],"concepts":[{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.6195672750473022},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.6105595827102661},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5936239957809448},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.5917856693267822},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5601983666419983},{"id":"https://openalex.org/C55128367","wikidata":"https://www.wikidata.org/wiki/Q2552799","display_name":"System F","level":3,"score":0.5578650236129761},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.5560483336448669},{"id":"https://openalex.org/C77736955","wikidata":"https://www.wikidata.org/wiki/Q1089708","display_name":"Church encoding","level":5,"score":0.5287166237831116},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5094686150550842},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4852018654346466},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4034160375595093},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33766454458236694},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15157407522201538},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:ecommons.cornell.edu:1813/6046","doi":null,"is_oa":false,"landing_page_url":"http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR74-206","pdf_url":null,"source":{"id":"https://openalex.org/S4306400757","display_name":"eCommons (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"technical report"},{"id":"mag:194548178","doi":null,"is_oa":false,"landing_page_url":"http://ecommons.cornell.edu/bitstream/1813/6046/1/74-206.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W195533097","https://openalex.org/W4238722923","https://openalex.org/W2486043365","https://openalex.org/W1827473830","https://openalex.org/W2039112578","https://openalex.org/W1607068082","https://openalex.org/W4235052724","https://openalex.org/W4235472679","https://openalex.org/W2809754822","https://openalex.org/W1518885716"],"abstract_inverted_index":{"We":[0],"prove":[1],"a":[2,40,69],"theorem":[3],"which":[4,43,75],"provides":[5],"an":[6],"intuitive":[7],"understanding":[8],"of":[9,12,29,56,61,95,102,118],"the":[10,27,58,83,93,100,115],"meaning":[11],"$\\lambda$-terms":[13],"in":[14,99],"Scott's":[15],"extensional":[16],"$\\lambda$-calculus":[17,64,78,130],"models.":[18,79],"This":[19],"allows":[20,89],"us":[21,90],"to":[22,35,72,91],"use":[23],"those":[24,62],"models":[25,65],"for":[26,68],"definition":[28],"high-level":[30,96],"programming":[31,41,97],"languages.":[32],"In":[33],"order":[34],"illustrate":[36],"this":[37,53],"we":[38],"define":[39,92],"language":[42],"includes":[44],"blocks":[45],"and":[46],"(arbitrary":[47],"recursive)":[48],"procedures.":[49],"Two":[50],"aspects":[51],"justify":[52],"approach.":[54],"First":[55],"all,":[57],"logical":[59],"properties":[60],"(typeless)":[63],"are":[66],"appealing":[67],"formalization":[70],"similar":[71],"LCF":[73,87],"[6]":[74],"formalizes":[76],"typed":[77],"Secondly,":[80],"not":[81],"having":[82],"type":[84],"restrictions":[85],"that":[86],"imposes":[88],"semantics":[94],"languages":[98],"spirit":[101],"\"mathematical":[103],"semantics\"":[104],"[12]":[105],"(which":[106],"is":[107],"usually":[108],"based":[109],"on":[110],"recursively":[111],"defined":[112],"domains),":[113],"thus":[114],"semantic":[116],"nature":[117],"syntactic":[119],"constructs":[120],"can":[121],"be":[122],"exhibited":[123],"clearly.":[124],"Keywords:":[125],"Mathematical":[126],"semantics,":[127],"Programming":[128],"Languages,":[129],"Models,":[131],"typed,":[132],"typeless,":[133],"extensional,":[134],"Logic,":[135],"LCF.":[136]},"counts_by_year":[],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2016-06-24T00:00:00"}