{"id":"https://openalex.org/W2947356606","doi":"https://doi.org/10.4204/eptcs.292.3","title":"From Linear Logic to Cyclic Sharing","display_name":"From Linear Logic to Cyclic Sharing","publication_year":2019,"publication_date":"2019-04-12","ids":{"openalex":"https://openalex.org/W2947356606","doi":"https://doi.org/10.4204/eptcs.292.3","mag":"2947356606"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.292.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.292.3","pdf_url":"https://arxiv.org/pdf/1904.06846","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"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 Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/1904.06846","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022707936","display_name":"Masahito Hasegawa","orcid":"https://orcid.org/0000-0003-3460-8615"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Masahito Hasegawa","raw_affiliation_strings":["RIMS, Kyoto University","RIMS, Kyoto University#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RIMS, Kyoto University","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"RIMS, Kyoto University#TAB#","institution_ids":["https://openalex.org/I22299242"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5022707936"],"corresponding_institution_ids":["https://openalex.org/I22299242"],"apc_list":null,"apc_paid":null,"fwci":0.1596,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.60492587,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"292","issue":null,"first_page":"31","last_page":"42"},"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.9850999712944031,"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.9850999712944031,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9739000201225281,"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.9172999858856201,"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/linear-logic","display_name":"Linear logic","score":0.7972260117530823},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.7206252217292786},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.6328198909759521},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5455340147018433},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5413430333137512},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5077329874038696},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.48809778690338135},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.44600123167037964},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.4261245131492615},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.41896897554397583},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.41667425632476807},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36854174733161926},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3388586640357971},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.320059597492218},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21095818281173706},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.13159781694412231},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.07886233925819397},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07436278462409973},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0719958245754242}],"concepts":[{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.7972260117530823},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.7206252217292786},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.6328198909759521},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5455340147018433},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5413430333137512},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5077329874038696},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.48809778690338135},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.44600123167037964},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.4261245131492615},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41896897554397583},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.41667425632476807},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36854174733161926},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3388586640357971},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.320059597492218},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21095818281173706},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.13159781694412231},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.07886233925819397},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07436278462409973},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0719958245754242},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"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":4,"locations":[{"id":"doi:10.4204/eptcs.292.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.292.3","pdf_url":"https://arxiv.org/pdf/1904.06846","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"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 Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1904.06846","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.06846","pdf_url":"https://arxiv.org/pdf/1904.06846","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"text"},{"id":"pmh:oai:doaj.org/article:53780e27d0ad44c8a609fc202778a5f2","is_oa":false,"landing_page_url":"https://doaj.org/article/53780e27d0ad44c8a609fc202778a5f2","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 292, Iss Proc. Linearity-TLLA 2018, Pp 31-42 (2019)","raw_type":"article"},{"id":"doi:10.48550/arxiv.1904.06846","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1904.06846","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.4204/eptcs.292.3","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.292.3","pdf_url":"https://arxiv.org/pdf/1904.06846","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"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 Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G5913768863","display_name":null,"funder_award_id":"JPMJER1603","funder_id":"https://openalex.org/F4320338112","funder_display_name":"Exploratory Research for Advanced Technology"},{"id":"https://openalex.org/G730984127","display_name":"Quantization, Categorification and Geometrization of Program Semantics","funder_award_id":"18K11165","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320338112","display_name":"Exploratory Research for Advanced Technology","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2947356606.pdf","grobid_xml":"https://content.openalex.org/works/W2947356606.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W30471523","https://openalex.org/W195403090","https://openalex.org/W1552768853","https://openalex.org/W1582602188","https://openalex.org/W1595538656","https://openalex.org/W1605626978","https://openalex.org/W1605806361","https://openalex.org/W1683412184","https://openalex.org/W1985063546","https://openalex.org/W2047559554","https://openalex.org/W2057814731","https://openalex.org/W2078730256","https://openalex.org/W2090319048","https://openalex.org/W2096885339","https://openalex.org/W2102357532","https://openalex.org/W2156876717","https://openalex.org/W2166378962","https://openalex.org/W2167575691","https://openalex.org/W2498809194","https://openalex.org/W2519501411","https://openalex.org/W2613345300","https://openalex.org/W2911865844","https://openalex.org/W4238692953","https://openalex.org/W4256453086"],"related_works":["https://openalex.org/W3105130683","https://openalex.org/W2220986375","https://openalex.org/W1605626978","https://openalex.org/W2014379452","https://openalex.org/W1486772918","https://openalex.org/W2040290487","https://openalex.org/W3102581998","https://openalex.org/W2486165584","https://openalex.org/W2900036118","https://openalex.org/W1572370762","https://openalex.org/W2109242790","https://openalex.org/W2123018358","https://openalex.org/W3123171335","https://openalex.org/W1965630431","https://openalex.org/W1527398069","https://openalex.org/W2252073690","https://openalex.org/W1908505045","https://openalex.org/W1585014507","https://openalex.org/W2291724690","https://openalex.org/W2040202569"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,10,22,39],"translation":[3,18,37,45],"from":[4,21],"Multiplicative":[5],"Exponential":[6],"Linear":[7],"Logic":[8],"to":[9],"simply-typed":[11],"lambda":[12],"calculus":[13],"with":[14],"cyclic":[15],"sharing.":[16],"This":[17],"is":[19,38],"derived":[20],"simple":[23],"observation":[24],"on":[25,28],"the":[26,36,42,47],"Int-construction":[27],"traced":[29],"monoidal":[30],"categories.":[31],"It":[32],"turns":[33],"out":[34],"that":[35],"mixture":[40],"of":[41,49],"call-by-name":[43],"CPS":[44],"and":[46],"Geometry":[48],"Interaction-based":[50],"interpretation.":[51]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2019-06-07T00:00:00"}