{"id":"https://openalex.org/W7168420730","doi":"https://doi.org/10.4230/lipics.fscd.2026.8","title":"Denotational Semantics for Stabiliser Quantum Programs","display_name":"Denotational Semantics for Stabiliser Quantum Programs","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7168420730","doi":"https://doi.org/10.4230/lipics.fscd.2026.8"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26358","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.8","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.8/LIPIcs.FSCD.2026.8.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.8/LIPIcs.FSCD.2026.8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140905055","display_name":"Robert I. Booth","orcid":"https://orcid.org/0000-0002-1146-3380"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Booth, Robert I.","raw_affiliation_strings":["University of Oxford, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-1146-3380","affiliations":[{"raw_affiliation_string":"University of Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5140798726","display_name":"Cole Comfort","orcid":"https://orcid.org/0009-0000-3120-8822"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210107720","display_name":"CentraleSup\u00e9lec","ror":"https://ror.org/019tcpt25","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I4210107720"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Comfort, Cole","raw_affiliation_strings":["Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, CentraleSup\u00e9lec, Laboratoire M\u00e9thodes Formelles, France"],"raw_orcid":"https://orcid.org/0009-0000-3120-8822","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, CentraleSup\u00e9lec, Laboratoire M\u00e9thodes Formelles, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210107720"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.87357883,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9236999750137329,"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.9236999750137329,"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/T10126","display_name":"Logic, programming, and type systems","score":0.013500000350177288,"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.009700000286102295,"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/stabiliser","display_name":"Stabiliser","score":0.8273000121116638},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5903000235557556},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.5580000281333923},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5375999808311462},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.4675000011920929},{"id":"https://openalex.org/keywords/denotational-semantics-of-the-actor-model","display_name":"Denotational semantics of the Actor model","score":0.43860000371932983},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.4296000003814697},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.41019999980926514},{"id":"https://openalex.org/keywords/quantum-operation","display_name":"Quantum operation","score":0.32589998841285706}],"concepts":[{"id":"https://openalex.org/C2780345374","wikidata":"https://www.wikidata.org/wiki/Q7595716","display_name":"Stabiliser","level":2,"score":0.8273000121116638},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5903000235557556},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5580000281333923},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5375999808311462},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.4675000011920929},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4602000117301941},{"id":"https://openalex.org/C89448276","wikidata":"https://www.wikidata.org/wiki/Q5259284","display_name":"Denotational semantics of the Actor model","level":5,"score":0.43860000371932983},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4296000003814697},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.41019999980926514},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3481999933719635},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33970001339912415},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3296000063419342},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.32589998841285706},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.31540000438690186},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.30720001459121704},{"id":"https://openalex.org/C11255438","wikidata":"https://www.wikidata.org/wiki/Q7269085","display_name":"Quantum process","level":4,"score":0.3018999993801117},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.2985000014305115},{"id":"https://openalex.org/C105295557","wikidata":"https://www.wikidata.org/wiki/Q5051814","display_name":"Categorical quantum mechanics","level":5,"score":0.2946000099182129},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.2856000065803528},{"id":"https://openalex.org/C29585364","wikidata":"https://www.wikidata.org/wiki/Q1079166","display_name":"Domain theory","level":2,"score":0.28189998865127563},{"id":"https://openalex.org/C2776897741","wikidata":"https://www.wikidata.org/wiki/Q12212546","display_name":"Quantum thermodynamics","level":3,"score":0.27950000762939453},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27630001306533813},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.27250000834465027},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2667999863624573},{"id":"https://openalex.org/C190474826","wikidata":"https://www.wikidata.org/wiki/Q2495111","display_name":"Open quantum system","level":3,"score":0.26409998536109924},{"id":"https://openalex.org/C138797146","wikidata":"https://www.wikidata.org/wiki/Q17105475","display_name":"Relational quantum mechanics","level":5,"score":0.25859999656677246},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.25290000438690186},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.2522999942302704},{"id":"https://openalex.org/C187486625","wikidata":"https://www.wikidata.org/wiki/Q2122176","display_name":"Quantum channel","level":4,"score":0.25029999017715454}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:26358","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.8","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.8/LIPIcs.FSCD.2026.8.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.fscd.2026.8","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2026.8","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26358","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2026.8","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol378-fscd2026/LIPIcs.FSCD.2026.8/LIPIcs.FSCD.2026.8.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"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":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"InProceedings"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4166410565376282}],"awards":[{"id":"https://openalex.org/G2191957979","display_name":"Etude de la pile quantique : Algorithmes, mod\u00e8les de calcul et simulation pour l\u2019informatique quantique","funder_award_id":"ANR-22-PETQ-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2338735177","display_name":"(De)constructing Quantum Software (DeQS)","funder_award_id":"EP/Z002230/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2970831653","display_name":"Initiative Nationale Hybride HPC Quantique \u2013 R&D et Support des communaut\u00e9s","funder_award_id":"ANR-22-PNCQ-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7168420730.pdf","grobid_xml":"https://content.openalex.org/works/W7168420730.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0],"stabiliser":[1,37,60,77,82,122],"fragment":[2],"of":[3,21,54],"quantum":[4,12,22,55,78,83,107],"theory":[5],"is":[6,93],"a":[7,29,69,86,116],"foundational":[8],"building":[9],"block":[10],"for":[11,17,36,105,121],"error":[13,79],"correction,":[14],"and":[15,32,45,96],"hence":[16],"the":[18,73,111],"fault-tolerant":[19],"compilation":[20],"programs.":[23,108],"In":[24],"this":[25],"article,":[26],"we":[27],"develop":[28],"sound,":[30],"universal,":[31],"complete":[33],"denotational":[34,103,127],"semantics":[35,70,92,113],"operations,":[38],"including":[39],"measurement,":[40],"classically":[41],"controlled":[42],"Pauli":[43],"operators,":[44],"affine":[46,63],"classical":[47],"computation,":[48],"thereby":[49],"supporting":[50],"an":[51],"explicit":[52],"treatment":[53],"error-correcting":[56],"codes.":[57],"We":[58,109],"interpret":[59],"operations":[61],"as":[62],"relations":[64],"over":[65],"finite":[66],"fields,":[67],"yielding":[68],"that":[71],"reflects":[72],"algebraic":[74,88],"structure":[75],"underlying":[76],"correction.":[80],"Because":[81],"mechanics":[84],"has":[85],"well-behaved":[87],"structure,":[89],"our":[90],"relational":[91],"conceptually":[94],"transparent":[95],"computationally":[97],"tractable":[98],"when":[99],"compared":[100],"to":[101],"standard":[102],"models":[104],"general":[106],"demonstrate":[110],"resulting":[112],"by":[114],"describing":[115],"small,":[117],"low-level":[118],"assembly":[119],"language":[120],"programs":[123],"with":[124],"fully":[125],"abstract":[126],"semantics.":[128]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-16T00:00:00"}