{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008395207,0.0005518052,0.0006941329,0.0004604585,0.0003041367,0.0007063521,0.001916843,0.0003539085,0.000004414923],"category_scores_gemma":[0.00005515899,0.0004161936,0.0001684886,0.0004027075,0.000620726,0.0004695017,0.0003063135,0.0005460398,0.00003572416],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00030209,"about_ca_system_score_gemma":0.000612003,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002575983,"about_ca_topic_score_gemma":0.0001909286,"domain_scores_codex":[0.9961547,0.00004479572,0.0005455665,0.0015191,0.0009393351,0.0007965064],"domain_scores_gemma":[0.9975659,0.0006135675,0.0003840554,0.0008091619,0.0004113,0.0002159669],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003046612,0.00005112482,0.00003281945,0.00005749904,0.00002714813,0.0000566785,0.0004364585,0.02448437,0.00002011027,0.4191875,0.00007198791,0.5555438],"study_design_scores_gemma":[0.00107475,0.0007065128,0.00003833773,0.00006689919,0.00001737941,0.0001111285,2.186794e-7,0.866829,0.00007004677,0.1182723,0.01220746,0.000605942],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00001369175,0.0003129889,0.994052,0.001306024,0.001378451,0.001132529,0.00000404592,0.0002483938,0.001551882],"genre_scores_gemma":[0.7866579,0.000006592046,0.2101388,0.001346876,0.001180751,0.00006108115,0.00001109901,0.00004808758,0.0005487555],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8423447,"threshold_uncertainty_score":0.999829,"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."}}