乐胖代购免代理版

{"id":"https://openalex.org/W3186808748","doi":"https://doi.org/10.4230/lipics.fscd.2021.7","title":"Call-By-Value, Again!","display_name":"Call-By-Value, Again!","publication_year":2021,"publication_date":"2021-07-17","ids":{"openalex":"https://openalex.org/W3186808748","doi":"https://doi.org/10.4230/lipics.fscd.2021.7","mag":"3186808748"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://hal.science/hal-04759243","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","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/A5111656261","display_name":"Simona Ronchi Della Rocca","orcid":null},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"funder","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simona Ronchi Della Rocca","raw_affiliation_strings":["Dipartimento di Informatica [Torino] (Universit\u00e0 di Torino - Italy)"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica [Torino] (Universit\u00e0 di Torino - Italy)","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049165373","display_name":"Axel Kerinec","orcid":"https://orcid.org/0000-0003-0920-8847"},"institutions":[{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"funder","lineage":["https://openalex.org/I4210091279"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Axel Kerinec","raw_affiliation_strings":["LIPN - Laboratoire d'Informatique de Paris-Nord (Institut Galil\u00e9e, Universit\u00e9 Paris 13, 99 avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse - France)"],"affiliations":[{"raw_affiliation_string":"LIPN - Laboratoire d'Informatique de Paris-Nord (Institut Galil\u00e9e, Universit\u00e9 Paris 13, 99 avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse - France)","institution_ids":["https://openalex.org/I4210091279","https://openalex.org/I4210156583"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058216930","display_name":"Giulio Manzonetto","orcid":"https://orcid.org/0000-0003-1448-9014"},"institutions":[{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"funder","lineage":["https://openalex.org/I4210091279"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Giulio Manzonetto","raw_affiliation_strings":["LIPN - Laboratoire d'Informatique de Paris-Nord (Institut Galil\u00e9e, Universit\u00e9 Paris 13, 99 avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse - France)"],"affiliations":[{"raw_affiliation_string":"LIPN - Laboratoire d'Informatique de Paris-Nord (Institut Galil\u00e9e, Universit\u00e9 Paris 13, 99 avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse - France)","institution_ids":["https://openalex.org/I4210091279","https://openalex.org/I4210156583"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.554,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.857047,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":78,"max":80},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998,"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.9998,"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.9956,"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.987,"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/value","display_name":"Value (mathematics)","score":0.42506608},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4198505}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7042565},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6588551},{"id":"https://openalex.org/C172252984","wikidata":"https://www.wikidata.org/wiki/Q368988","display_name":"Idempotence","level":2,"score":0.59305906},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.563765},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5580313},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.49778795},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47958842},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.47062162},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43575802},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.43224663},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.42506608},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4198505},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.41602886},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4042773},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34819695},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2642436},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://hal.science/hal-04759243","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":3,"referenced_works":["https://openalex.org/W2004553747","https://openalex.org/W2896999751","https://openalex.org/W3082766016"],"related_works":["https://openalex.org/W4383764068","https://openalex.org/W3187762542","https://openalex.org/W2972379433","https://openalex.org/W2583753471","https://openalex.org/W2583549044","https://openalex.org/W2348131447","https://openalex.org/W2331020993","https://openalex.org/W1797057780","https://openalex.org/W1594270709","https://openalex.org/W1481826604"],"abstract_inverted_index":{"The":[0],"quest":[1],"for":[2,43,75,126,182],"a":[3,25,40,58,63,107,188],"fully":[4],"abstract":[5],"model":[6,26,60,86],"of":[7,22,46,109,114,132,148,154,165,178],"the":[8,49,83,97,128,133,146,155,163,176,179],"call-by-value":[9,115],"\u03bb-calculus":[10],"remains":[11],"crucial":[12],"in":[13,71,82,96],"programming":[14],"language":[15],"theory,":[16,100],"and":[17,52,101,140,150,196],"constitutes":[18],"an":[19,76,103,170],"ongoing":[20],"line":[21],"research.":[23],"While":[24],"enjoying":[27],"this":[28,35],"property":[29],"has":[30],"not":[31],"been":[32],"found":[33],"yet,":[34],"interesting":[36],"problem":[37,181],"acts":[38],"as":[39,62,167],"powerful":[41],"motivation":[42],"investigating":[44],"classes":[45],"models,":[47],"studying":[48],"associated":[50],"theories":[51],"capturing":[53],"operational":[54],"properties":[55,131],"semantically.\r\nWe":[56],"study":[57],"relational":[59],"presented":[61],"relevant":[64],"intersection":[65,69],"type":[66,156,184],"system,":[67],"where":[68],"is":[70,80,87,192],"general":[72],"non-idempotent,":[73],"except":[74],"idempotent":[77],"element":[78],"that":[79,92,120],"injected":[81],"system.":[84,158],"This":[85],"adequate,":[88],"equates":[89],"many":[90],"\u03bb-terms":[91],"are":[93],"indeed":[94],"equivalent":[95],"maximal":[98],"observational":[99],"satisfies":[102],"Approximation":[104],"Theorem":[105],"w.r.t.":[106],"system":[108,185],"approximants":[110],"representing":[111],"finite":[112],"pieces":[113],"Bohm":[116],"trees.":[117],"We":[118,159],"show":[119],"these":[121],"tools":[122],"can":[123],"be":[124],"used":[125],"characterizing":[127],"most":[129],"significant":[130],"calculus":[134],"-":[135,142],"namely":[136],"valuability,":[137],"potential":[138],"valuability":[139],"solvability":[141],"both":[143],"semantically,":[144],"through":[145],"notion":[147],"approximants,":[149],"logically,":[151],"by":[152,186],"means":[153],"assignment":[157],"mainly":[160],"focus":[161],"on":[162],"characterizations":[164],"solvability,":[166],"they":[168],"constitute":[169],"original":[171],"result.":[172],"Finally,":[173],"we":[174],"prove":[175],"decidability":[177],"inhabitation":[180],"our":[183],"exhibiting":[187],"non-deterministic":[189],"algorithm,":[190],"which":[191],"proven":[193],"sound,":[194],"correct":[195],"terminating.":[197]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3186808748","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-04-22T23:19:57.314935","created_date":"2021-08-02"}