{"id":"W2951835710","doi":"10.1145/2578855.2535879","title":"Applying quantitative semantics to higher-order quantum computing","year":2014,"lang":"en","type":"preprint","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"Centre National de la Recherche Scientifique; Agence Nationale de la Recherche","keywords":"Denotational semantics; Action semantics; Denotational semantics of the Actor model; Well-founded semantics; Operational semantics; Semantics (computer science); Normalisation by evaluation; Recursion (computer science); Finitary; Computer science; Quantum computer; Quantum entanglement; Programming language; Theoretical computer science; Mathematics; Quantum; Discrete mathematics; Quantum mechanics; Physics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00108679,0.0005597324,0.0008029841,0.0002683802,0.0003180595,0.001102361,0.004152799,0.0003699795,0.00001149567],"category_scores_gemma":[0.000546341,0.0004979341,0.0001590456,0.0004432627,0.00007809404,0.0002131847,0.004637512,0.0007053629,0.0006091023],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006634621,"about_ca_system_score_gemma":0.0001319338,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006390996,"about_ca_topic_score_gemma":0.00008849847,"domain_scores_codex":[0.9962919,0.0003145901,0.0006846195,0.001278719,0.0006782303,0.0007519493],"domain_scores_gemma":[0.9954976,0.001111975,0.0006904186,0.002108661,0.0003383903,0.0002528956],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002020755,0.0001504559,0.003450526,0.001307387,0.0002978261,0.0001042113,0.008230435,0.01860725,0.0001405112,0.9380438,0.004013034,0.02563434],"study_design_scores_gemma":[0.001079444,0.0009923653,0.004692378,0.0006636079,0.0002410982,0.00003426202,0.001022481,0.5919705,0.0004947619,0.164864,0.2298522,0.004092947],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01303439,0.0005642108,0.9727722,0.001643648,0.006874845,0.001435586,0.000005630049,0.0007704102,0.002899033],"genre_scores_gemma":[0.8698901,0.000007079794,0.1284364,0.0006816183,0.0006059239,0.00009205787,0.00003283647,0.00004173718,0.0002122798],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8568557,"threshold_uncertainty_score":0.9999346,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06094617845166354,"score_gpt":0.3139638979608503,"score_spread":0.2530177195091868,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}