{"id":"W2145862486","doi":"10.1017/s0960129506005238","title":"A lambda calculus for quantum computation with classical control","year":2006,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Computability, Logic, AI Algorithms","field":"Computer Science","cited_by":182,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa; Dalhousie University","funders":"","keywords":"Church encoding; Dependent type; Typed lambda calculus; Computer science; Simply typed lambda calculus; System F; Lambda calculus; Curry–Howard correspondence; Calculus (dental); Linear logic; Programming language; Type (biology); Operational semantics; Theoretical computer science; Quantum; Lambda; Quantum computer; Semantics (computer science); Algebra over a field; Mathematics; Pure 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.002103487,0.0005831756,0.0006239619,0.0008754248,0.001917251,0.002896339,0.001738105,0.001160758,0.005303434],"category_scores_gemma":[0.002693759,0.0005140026,0.001481531,0.0009819129,0.004824666,0.005504344,0.002264927,0.00318993,0.001295157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00148586,"about_ca_system_score_gemma":0.002227443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002254682,"about_ca_topic_score_gemma":0.001393814,"domain_scores_codex":[0.9984238,0.0003695466,0.00009951098,0.0002335587,0.0006903707,0.000183303],"domain_scores_gemma":[0.9989506,0.0004482437,0.00008736206,0.0001834118,0.000236186,0.00009415152],"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.000005041868,0.000005895181,0.00001877592,0.00001657813,0.000002526362,0.00002826502,0.00009562178,0.001245038,0.0004426504,0.9954053,0.0003326267,0.002401743],"study_design_scores_gemma":[0.00001520776,0.00001826854,0.00003343187,0.00002074623,0.00001251855,0.00005685369,0.00003306536,0.0164581,0.0009283058,0.9566192,0.02578261,0.00002165776],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006044955,0.0005677014,0.9739683,0.001066313,0.0003367618,0.00006204187,0.00008459674,0.0004570553,0.01741223],"genre_scores_gemma":[0.3585216,0.001596534,0.6077712,0.001537838,0.001002418,0.0004375072,0.0001741934,0.0004848738,0.02847381],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005303434,"threshold_uncertainty_score":0.0177418,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01117563736552843,"score_gpt":0.2579324113655679,"score_spread":0.2467567740000395,"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."}}