{"id":"https://openalex.org/W2282340752","doi":"https://doi.org/10.4230/lipics.concur.2015.427","title":"On Coinduction and Quantum Lambda Calculi","display_name":"On Coinduction and Quantum Lambda Calculi","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2282340752","doi":"https://doi.org/10.4230/lipics.concur.2015.427","mag":"2282340752"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01231782","pdf_url":"https://inria.hal.science/hal-01231782/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"type":"preprint","type_crossref":"proceedings-article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01231782/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022036342","display_name":"Yuxin Deng","orcid":"https://orcid.org/0000-0003-0753-418X"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuxin Deng","raw_affiliation_strings":["Shanghai Jiao Tong University [Shanghai] (800 Dongchuan Road, Shanghai, 200240 - China)"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University [Shanghai] (800 Dongchuan Road, Shanghai, 200240 - China)","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022869475","display_name":"Yuan Feng","orcid":"https://orcid.org/0000-0002-3097-3896"},"institutions":[{"id":"https://openalex.org/I114017466","display_name":"University of Technology Sydney","ror":"https://ror.org/03f0f6041","country_code":"AU","type":"education","lineage":["https://openalex.org/I114017466"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yuan Feng","raw_affiliation_strings":["UTS - University of Technology Sydney (City campus\r\n15 Broadway\r\nUltimo NSW 2007 - Australia)"],"affiliations":[{"raw_affiliation_string":"UTS - University of Technology Sydney (City campus\r\n15 Broadway\r\nUltimo NSW 2007 - Australia)","institution_ids":["https://openalex.org/I114017466"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084450516","display_name":"Ugo Dal Lago","orcid":"https://orcid.org/0000-0001-9200-070X"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ugo Dal Lago","raw_affiliation_strings":["FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)"],"affiliations":[{"raw_affiliation_string":"FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)\r\nUniversita' di Bologna\r\nMura Anteo Zamboni, 7\r\n40126 Bologna\r\nITALY - Italy)","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"UNIBO - Alma Mater Studiorum Universit\u00e0 di Bologna = University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)","institution_ids":["https://openalex.org/I9360294"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.881421,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":83,"max":84},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9999,"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9999,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9963,"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/T10020","display_name":"Quantum Information and Cryptography","score":0.9955,"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/completeness","display_name":"Completeness (order theory)","score":0.58621335}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7376986},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.58621335},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.537796},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5176152},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.44125727},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4363767},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41322762},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4056768},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37686455},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34964615},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27208233},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2454642},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.08946723},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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":4,"locations":[{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01231782","pdf_url":"https://inria.hal.science/hal-01231782/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/opus/volltexte/2015/5388/","pdf_url":"https://drops.dagstuhl.de/opus/volltexte/2015/5388/pdf/28.pdf","source":{"id":"https://openalex.org/S4306402524","display_name":"Leibniz-Zentrum f\u00fcr Informatik (Schloss Dagstuhl)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":["Schloss Dagstuhl \u2013 Leibniz Center for Informatics"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"http://hdl.handle.net/10453/47654","pdf_url":"https://opus.lib.uts.edu.au/bitstream/10453/47654/1/qlam.pdf","source":{"id":"https://openalex.org/S4377196279","display_name":"OPUS - Open Publications of UTS Scholars (University of Technology Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I114017466","host_organization_name":"University of Technology Sydney","host_organization_lineage":["https://openalex.org/I114017466"],"host_organization_lineage_names":["University of Technology Sydney"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01231782/file/28.pdf","pdf_url":"https://hal.inria.fr/hal-01231782/file/28.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.inria.fr/hal-01231782","pdf_url":"https://inria.hal.science/hal-01231782/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":36,"referenced_works":["https://openalex.org/W136487247","https://openalex.org/W1519555209","https://openalex.org/W1523424177","https://openalex.org/W1537615043","https://openalex.org/W1540519426","https://openalex.org/W1614518745","https://openalex.org/W172004165","https://openalex.org/W1765915613","https://openalex.org/W180602404","https://openalex.org/W1868882999","https://openalex.org/W1884025388","https://openalex.org/W1962257018","https://openalex.org/W1976268573","https://openalex.org/W1999626800","https://openalex.org/W2002372750","https://openalex.org/W2003803711","https://openalex.org/W2035063966","https://openalex.org/W2044210134","https://openalex.org/W2059456146","https://openalex.org/W2076218011","https://openalex.org/W2077160660","https://openalex.org/W2084652510","https://openalex.org/W2092367588","https://openalex.org/W2114078774","https://openalex.org/W2129096339","https://openalex.org/W2140908765","https://openalex.org/W2141568518","https://openalex.org/W2145862486","https://openalex.org/W2152595206","https://openalex.org/W2160347025","https://openalex.org/W2168676717","https://openalex.org/W2176767353","https://openalex.org/W2177098668","https://openalex.org/W2990518766","https://openalex.org/W646631026","https://openalex.org/W853395036"],"related_works":["https://openalex.org/W4301250310","https://openalex.org/W4237277701","https://openalex.org/W2182768446","https://openalex.org/W2121424666","https://openalex.org/W2067700950","https://openalex.org/W2055420561","https://openalex.org/W2030928163","https://openalex.org/W1669998927","https://openalex.org/W1615520218","https://openalex.org/W1587028174"],"abstract_inverted_index":{"In":[0],"the":[1,27,64,70,86],"ubiquitous":[2],"presence":[3],"of":[4,39,57,85],"linear":[5,13,33,65],"resources":[6],"in":[7,12,26],"quantum":[8,53],"computation,":[9],"program":[10],"equivalence":[11,35],"contexts,":[14],"where":[15],"programs":[16],"are":[17,59],"used":[18],"or":[19],"executed":[20],"once,":[21],"is":[22],"more":[23],"important":[24],"than":[25],"classical":[28],"setting.":[29],"We":[30],"introduce":[31],"a":[32,41,44,83,89],"contextual":[34,66],"and":[36,43],"two":[37],"notions":[38,56],"bisimilarity,":[40],"state-based":[42],"distribution-based,":[45],"as":[46,88],"proof":[47,80],"techniques":[48],"for":[49],"reasoning":[50],"about":[51],"higher-order":[52],"programs.":[54],"Both":[55],"bisimilarity":[58,87],"sound":[60],"with":[61],"respect":[62],"to":[63,75],"equivalence,":[67],"but":[68],"only":[69],"distribution-based":[71],"one":[72],"turns":[73],"out":[74],"be":[76],"complete.":[77],"The":[78],"completeness":[79],"relies":[81],"on":[82],"characterisation":[84],"testing":[90],"equivalence.":[91]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2282340752","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"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":1}],"updated_date":"2024-12-13T19:42:13.926367","created_date":"2016-06-24"}