{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00443614,0.0007135152,0.0006838095,0.001640882,0.001753207,0.004594049,0.001795747,0.001345858,0.002857353],"category_scores_gemma":[0.008598492,0.0005572583,0.001719088,0.001199159,0.01046632,0.01105729,0.00425448,0.003706633,0.0005149885],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0034276,"about_ca_system_score_gemma":0.002217632,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001920728,"about_ca_topic_score_gemma":0.001117776,"domain_scores_codex":[0.9971684,0.001164806,0.0002026228,0.0003326856,0.0008916527,0.000239795],"domain_scores_gemma":[0.9962139,0.002117289,0.0002149869,0.0006895923,0.0005682339,0.0001959979],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000003097857,0.000005470481,0.00002250694,0.00001193513,0.000002534133,0.0000127399,0.0001238977,0.001217778,0.0002214446,0.9968039,0.0001021392,0.001472596],"study_design_scores_gemma":[0.000004417899,0.000005031982,0.00001313573,0.00000769019,0.000002456641,0.00001028296,0.00002681689,0.006788996,0.0003673155,0.9898335,0.002933609,0.000006837559],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01449123,0.0006281919,0.9678793,0.002614859,0.0003370561,0.00003730919,0.00005655623,0.0005165907,0.01343893],"genre_scores_gemma":[0.6970052,0.001233341,0.2916564,0.001095419,0.0006331027,0.0002624672,0.0001192465,0.0005067564,0.00748812],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004594049,"threshold_uncertainty_score":0.02486908,"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."}}