{"id":"W1805380992","doi":"10.1007/11417170_26","title":"A Lambda Calculus for Quantum Computation with Classical Control","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Church encoding; Dependent type; Simply typed lambda calculus; Lambda calculus; Typed lambda calculus; Type (biology); Lambda; System F; Affine transformation; Quantum","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.001802776,0.0009246842,0.001385964,0.001369015,0.003258289,0.004849285,0.002267867,0.002087422,0.009623603],"category_scores_gemma":[0.002715055,0.000891314,0.001948789,0.001665995,0.006498824,0.008247846,0.003458184,0.004729884,0.002226193],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002318194,"about_ca_system_score_gemma":0.00185486,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002416934,"about_ca_topic_score_gemma":0.002196082,"domain_scores_codex":[0.9987348,0.000304753,0.00006982925,0.0001924465,0.0005192663,0.0001789503],"domain_scores_gemma":[0.9991591,0.0003443758,0.00003582341,0.0002092062,0.0001578881,0.00009349208],"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.000004324379,0.00000523499,0.000008702152,0.00001100171,0.000002154065,0.00001149453,0.00006087768,0.0003435832,0.0001423708,0.9963419,0.0008125125,0.002255841],"study_design_scores_gemma":[0.000005628758,0.000003115922,0.000009058518,0.000007320346,0.000003558565,0.00001068128,0.00001003609,0.002208533,0.0001072492,0.9917071,0.005921265,0.000006449662],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009370495,0.003100218,0.8664597,0.003440124,0.001103188,0.00009131873,0.0002598686,0.001130935,0.1150442],"genre_scores_gemma":[0.5022131,0.004118309,0.3975135,0.002131079,0.002551617,0.000456077,0.0003556745,0.0009391718,0.08972144],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009623603,"threshold_uncertainty_score":0.0321942,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01886700617306379,"score_gpt":0.2522603139138419,"score_spread":0.2333933077407781,"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."}}