{"id":"W3020955609","doi":"10.46298/lmcs-18(3:28)2022","title":"Linear Dependent Type Theory for Quantum Programming Languages","year":2022,"lang":"en","type":"article","venue":"Logical Methods in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"Air Force Office of Scientific Research; U.S. Department of Defense","keywords":"Computer science; Programming language; Type theory; Semantics (computer science); Theoretical computer science; Categorical quantum mechanics; Dependent type; Type (biology); Algebra over a field; Quantum; Mathematics; Quantum operation; Pure mathematics; Open quantum system; Lambda calculus; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01069852,0.0001883329,0.0002992726,0.0002434166,0.0005929409,0.0003000591,0.002883409,0.00005622227,0.00001739728],"category_scores_gemma":[0.0004466841,0.000147133,0.0000939867,0.0017696,0.0002604821,0.0003182148,0.001999127,0.000333572,0.00000830169],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001311625,"about_ca_system_score_gemma":0.0001604851,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000215192,"about_ca_topic_score_gemma":0.000002241027,"domain_scores_codex":[0.9963899,0.0009450914,0.0003844367,0.0009646884,0.0006051888,0.0007107504],"domain_scores_gemma":[0.9978991,0.000988461,0.0001477628,0.0006878487,0.000129721,0.0001471283],"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.0000102372,0.0001028897,0.0002081583,0.00001098376,0.000003171199,0.00002570199,0.0005106363,0.0008808351,0.0003402003,0.483021,0.00001306779,0.5148731],"study_design_scores_gemma":[0.0005769541,0.001571003,0.0007349183,0.000005660798,0.000006312078,0.0001433016,0.0002059402,0.5914151,0.001734281,0.3818047,0.02126539,0.0005364901],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001041548,0.0003097208,0.9949613,0.0001944804,0.00234346,0.0006009412,6.137234e-7,0.0002458435,0.0003020979],"genre_scores_gemma":[0.2911794,0.000002035457,0.7081098,0.0003686038,0.0001358512,0.0001310549,9.102477e-7,0.000006856704,0.0000654515],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5905343,"threshold_uncertainty_score":0.5999908,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0839479400754821,"score_gpt":0.4028615210096469,"score_spread":0.3189135809341648,"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."}}