{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005818324,0.0005847859,0.0007567746,0.00189956,0.00250402,0.006276489,0.002653944,0.002068023,0.006934178],"category_scores_gemma":[0.007731875,0.001028039,0.002082489,0.002293374,0.006044485,0.01367529,0.005001288,0.006917013,0.001732736],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004064656,"about_ca_system_score_gemma":0.002200529,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002074715,"about_ca_topic_score_gemma":0.001361557,"domain_scores_codex":[0.9945856,0.001887774,0.0006072685,0.0009817386,0.00150428,0.0004333586],"domain_scores_gemma":[0.9941505,0.002494473,0.0003865527,0.001444722,0.001212013,0.0003117123],"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.000006462596,0.000006285328,0.00008255777,0.00002126291,0.000003191218,0.00001926462,0.0002257541,0.0003841846,0.0002312715,0.9955094,0.0005856191,0.002924741],"study_design_scores_gemma":[0.00001376405,0.00001203322,0.00005568459,0.00003235804,0.00001129337,0.00006910518,0.00008153093,0.00735598,0.0008081325,0.9729171,0.01862502,0.00001801518],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008144803,0.0005326801,0.9723076,0.002211526,0.000254117,0.00006828977,0.0002840197,0.0007452661,0.01545172],"genre_scores_gemma":[0.385032,0.0013326,0.5890093,0.002487504,0.001012408,0.0007014962,0.0009515767,0.0008445068,0.01862857],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006934178,"threshold_uncertainty_score":0.0307706,"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."}}