{"id":"W1999626800","doi":"10.1017/s0960129504004256","title":"Towards a quantum programming language","year":2004,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":496,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Programming language; First-generation programming language; Denotational semantics; Semantics (computer science); Operational semantics; Theoretical computer science; Syntax; Programming paradigm; Artificial intelligence","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.003339747,0.0007436784,0.0008022808,0.0009591692,0.002116203,0.004304688,0.002406532,0.002049551,0.005187222],"category_scores_gemma":[0.004212601,0.001004735,0.002201791,0.0009673232,0.005951349,0.008494359,0.004062755,0.005639617,0.002370209],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001427445,"about_ca_system_score_gemma":0.003145586,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001312713,"about_ca_topic_score_gemma":0.001030656,"domain_scores_codex":[0.9978224,0.0007327247,0.0001749543,0.0003185039,0.0007436161,0.0002077939],"domain_scores_gemma":[0.9980592,0.0006527699,0.0001420438,0.0003238134,0.000611933,0.0002101765],"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.000006730781,0.00001250733,0.00003780348,0.00004499153,0.000004661938,0.00004268175,0.0002832529,0.001178239,0.0009634978,0.9919709,0.00121586,0.004238809],"study_design_scores_gemma":[0.00003365298,0.00003604537,0.00002995305,0.00007083957,0.00001297322,0.0001279563,0.0001480447,0.02853315,0.001996857,0.8833836,0.08559605,0.00003086643],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003310608,0.0003272415,0.9798651,0.003700709,0.000354518,0.0001063672,0.00007020304,0.00071681,0.01154841],"genre_scores_gemma":[0.06152386,0.0007363831,0.9261401,0.001779646,0.0003895444,0.0003824171,0.0001367148,0.0003888734,0.008522616],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005187222,"threshold_uncertainty_score":0.01766253,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01011974981243016,"score_gpt":0.2693401354551416,"score_spread":0.2592203856427114,"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."}}