{"id":"W2206248100","doi":"10.20381/ruor-19805","title":"Semantics for a higher-order functional programming language for quantum computation","year":2008,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Denotational semantics; Operational semantics; Semantics (computer science); Linear logic; Computer science; Probabilistic logic; Quantum computer; Theoretical computer science; Lambda calculus; Game semantics; Computation; Algebra over a field; Programming language; Quantum; Mathematics; Artificial intelligence; Pure mathematics; Quantum mechanics","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.003372382,0.000894383,0.0007573796,0.001011514,0.001820888,0.003918677,0.001911673,0.001639621,0.005971334],"category_scores_gemma":[0.002458945,0.0006097941,0.001975294,0.00106325,0.004214897,0.006970727,0.002660962,0.004609799,0.001216494],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002549096,"about_ca_system_score_gemma":0.002069433,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001183731,"about_ca_topic_score_gemma":0.0009102212,"domain_scores_codex":[0.9979509,0.000703621,0.0001662411,0.0002944806,0.0006277424,0.0002570588],"domain_scores_gemma":[0.9985375,0.0007089038,0.0001243468,0.0001653012,0.0003383586,0.0001254563],"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.000006037812,0.00001046366,0.00002172552,0.00002691434,0.000003019403,0.00003953692,0.0003071336,0.00110068,0.000561977,0.9955389,0.0003522312,0.002031401],"study_design_scores_gemma":[0.00002375339,0.00003006486,0.00004200921,0.00003208385,0.000008501051,0.0001107075,0.0001273991,0.0175561,0.0009006729,0.9616501,0.01949766,0.00002085513],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01029926,0.00043345,0.971186,0.00179859,0.0002070666,0.0001197705,0.0001760893,0.0005798848,0.01519992],"genre_scores_gemma":[0.4085995,0.0007000461,0.5719982,0.001209002,0.0003450149,0.00078986,0.0003618071,0.0004701593,0.01552642],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005971334,"threshold_uncertainty_score":0.01997614,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03103173571639271,"score_gpt":0.2598715983920046,"score_spread":0.2288398626756119,"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."}}