{"id":"W2990660716","doi":"10.1017/s0960129519000070","title":"Categorical models of the differential λ-calculus","year":2019,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Differential calculus; Mathematics; Differential (mechanical device); Calculus (dental); Categorical variable; Algebra over a field; Mathematical proof; Cartesian closed category; Category theory; Differential form; Pure mathematics","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.00143616,0.000256065,0.0004084337,0.001034053,0.001283385,0.003293144,0.001027179,0.0006108895,0.003507316],"category_scores_gemma":[0.00207191,0.0002431886,0.0006619721,0.0007260532,0.004925756,0.003889306,0.003656501,0.001427733,0.000429568],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00273348,"about_ca_system_score_gemma":0.001083848,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002054627,"about_ca_topic_score_gemma":0.001321647,"domain_scores_codex":[0.9983919,0.0003410176,0.00008695099,0.0002610863,0.0006993258,0.0002195784],"domain_scores_gemma":[0.9985334,0.0003775045,0.000117735,0.0002856651,0.0004324791,0.0002532809],"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.000005222344,0.000004059916,0.0001218512,0.000005788259,0.000001626924,0.00003717217,0.0001928702,0.0004136916,0.0002707227,0.9979253,0.0001296408,0.0008921127],"study_design_scores_gemma":[0.000008665069,0.00001153061,0.000186374,0.000007076784,0.00000477893,0.00006543654,0.0001255599,0.004643192,0.0005432182,0.9884112,0.005984477,0.000008542453],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4886188,0.0008309874,0.3361453,0.002973304,0.000319359,0.00006440523,0.0004162498,0.0007253754,0.1699061],"genre_scores_gemma":[0.9790009,0.0001273568,0.01148243,0.0001806292,0.00007261771,0.00003116608,0.0001006652,0.00004071072,0.008963585],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.003507316,"threshold_uncertainty_score":0.01983291,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01983313019163382,"score_gpt":0.2468271035333534,"score_spread":0.2269939733417196,"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."}}