{"id":"https://openalex.org/W3192396902","doi":"https://doi.org/10.1145/3457784.3457798","title":"Untyped lambda calculus with functionally referable environments","display_name":"Untyped lambda calculus with functionally referable environments","publication_year":2021,"publication_date":"2021-02-23","ids":{"openalex":"https://openalex.org/W3192396902","doi":"https://doi.org/10.1145/3457784.3457798","mag":"3192396902"},"language":"en","primary_location":{"id":"doi:10.1145/3457784.3457798","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3457784.3457798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 10th International Conference on Software and Computer Applications","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"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/A5024158669","display_name":"Shin-ya Nishizaki","orcid":"https://orcid.org/0000-0003-3196-6433"},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Shin-ya Nishizaki","raw_affiliation_strings":["Tokyo Institute of Technology and Tokyo Institute of Technology, Japan"],"affiliations":[{"raw_affiliation_string":"Tokyo Institute of Technology and Tokyo Institute of Technology, Japan","institution_ids":["https://openalex.org/I114531698"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015317676","display_name":"Ryotaro Kasuga","orcid":null},"institutions":[{"id":"https://openalex.org/I114531698","display_name":"Tokyo Institute of Technology","ror":"https://ror.org/0112mx960","country_code":"JP","type":"education","lineage":["https://openalex.org/I114531698"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ryotaro Kasuga","raw_affiliation_strings":["Tokyo Institute of Technology, Japan"],"affiliations":[{"raw_affiliation_string":"Tokyo Institute of Technology, Japan","institution_ids":["https://openalex.org/I114531698"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024158669"],"corresponding_institution_ids":["https://openalex.org/I114531698"],"apc_list":null,"apc_paid":null,"fwci":0.136,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54248726,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"100","last_page":"104"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9959999918937683,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9952999949455261,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6450574398040771},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5450426340103149},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5344055891036987},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5005576610565186},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4484291076660156},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.4478031396865845},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4446578025817871},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.43843507766723633},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3974374532699585},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36150607466697693},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3581506907939911},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20833179354667664}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6450574398040771},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5450426340103149},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5344055891036987},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5005576610565186},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4484291076660156},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.4478031396865845},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4446578025817871},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.43843507766723633},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3974374532699585},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36150607466697693},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3581506907939911},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20833179354667664},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3457784.3457798","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3457784.3457798","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 10th International Conference on Software and Computer Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6399999856948853,"id":"https://metadata.un.org/sdg/15","display_name":"Life in Land"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1526043265","https://openalex.org/W2090435472","https://openalex.org/W2133898445","https://openalex.org/W2904724464","https://openalex.org/W4236324644","https://openalex.org/W4239310085"],"related_works":["https://openalex.org/W3008380943","https://openalex.org/W2115206405","https://openalex.org/W4387718383","https://openalex.org/W1528986568","https://openalex.org/W2500746363","https://openalex.org/W2062799661","https://openalex.org/W2347954438","https://openalex.org/W2071460425","https://openalex.org/W2946506623","https://openalex.org/W2170067308"],"abstract_inverted_index":{"The":[0,59,81,102],"environment":[1,23,30,60,79,85,98,135,147,155,161,168,181,198,214,237,276],"is":[2,15,24,62,71,112,132,153,200],"the":[3,29,77,84,97,106,110,115,118,122,133,138,151,154,159,180,209,213,217,221,229,236,240,245,255,258,266,269,275,279,284,287,293,297],"relationship":[4],"between":[5],"variables":[6],"and":[7,14,43,70,219,260],"their":[8],"bound":[9],"values":[10,39],"during":[11],"program":[12,19],"execution":[13],"a":[16,25,48,56,63,72,100,145,172,185,189,192,206,272],"notion":[17],"in":[18],"semantics.":[20,289],"A":[21],"first-class":[22,78,129,190],"mechanism":[26],"that":[27,75,141,163,226],"allows":[28],"to":[31,47,136,143,148,157,165,171,216],"be":[32,45],"treated":[33],"like":[34],"data,":[35,162],"such":[36],"as":[37,50,55,99,202],"integer":[38],"or":[40,53,109],"Boolean":[41],"values,":[42],"can":[44,234],"passed":[46],"function":[49,207,241],"an":[51,203],"argument":[52,204],"received":[54],"return":[57],"value.":[58],"calculus":[61,74,248,259,277],"formal":[64],"computational":[65],"system":[66],"proposed":[67],"by":[68,91],"Nishizaki":[69],"lambda":[73,222,247],"extends":[76],"mechanism.":[80],"formulation":[82],"of":[83,105,117,179,257,274,286],"was":[86],"based":[87,113],"on":[88,114],"explicit":[89],"substitution":[90],"Curien":[92],"et":[93],"al.,":[94],"who":[95],"viewed":[96],"substitution.":[101],"operational":[103],"semantics":[104,267],"environmental":[107],"calculus,":[108,123],"reduction,":[111],"reduction":[116,270],"lambda-sigma":[119],"calculus.":[120,281],"In":[121,175],"there":[124],"are":[125],"two":[126],"constructs":[127],"for":[128,205,268],"environments:":[130,252],"one":[131,233],"identity":[134],"reify":[137],"current":[139],"environment,":[140,191,232],"is,":[142,164],"transfer":[144,166],"meta-level":[146,173,218],"object-level":[149,160,167,197],"data;":[150],"other":[152],"composition":[156,238],"reflect":[158],"data":[169,199],"back":[170,215],"environment.":[174,195,227],"this":[176],"paper,":[177],"instead":[178],"composition,":[182],"we":[183,253,264,291],"propose":[184],"new":[186],"interface":[187],"with":[188,239,249],"functionally":[193,230,250],"referable":[194,231,251],"If":[196],"given":[201],"application,":[208],"functional":[210],"reflection":[211],"brings":[212],"makes":[220],"term":[223],"evaluable":[224],"under":[225],"Using":[228],"unify":[235],"application.":[242],"We":[243,282],"define":[244],"untyped":[246],"give":[254],"syntax":[256],"its":[261],"reduction.":[262,299],"Then":[263],"provide":[265],"using":[271],"translation":[273,288],"into":[278],"record":[280],"prove":[283],"soundness":[285],"Finally,":[290],"discuss":[292],"evaluation":[294],"strategy,":[295],"especially":[296],"call-by-value":[298]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}