{"id":"W2738891033","doi":"","title":"Distributive rewriting calculus","year":2006,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Prevention of Organ Failure","funders":"","keywords":"Confluence; Rewriting; Church encoding; Correctness; Calculus (dental); Lambda calculus; Normalisation by evaluation; Natural deduction; Mathematics; Completeness (order theory); Typed lambda calculus; Simply typed lambda calculus; Computer science; Operational semantics; Programming language; Semantics (computer science); Algorithm; Denotational semantics","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.001540156,0.0006140677,0.001030588,0.001155025,0.002396067,0.004132145,0.001411587,0.0009176474,0.01109876],"category_scores_gemma":[0.002021325,0.0006891566,0.001007229,0.001232133,0.003279682,0.00396305,0.002222834,0.003121844,0.003485572],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002370742,"about_ca_system_score_gemma":0.001499272,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001932125,"about_ca_topic_score_gemma":0.00194427,"domain_scores_codex":[0.9979987,0.0004328597,0.0001073332,0.00050212,0.0007856854,0.0001733171],"domain_scores_gemma":[0.9987597,0.0004895566,0.00004961165,0.0002573447,0.0003306442,0.000113095],"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.00001280523,0.00001400334,0.0000641197,0.00002872987,0.000006403461,0.00007128908,0.0001423982,0.0002822847,0.0006202146,0.9880384,0.002820308,0.007899038],"study_design_scores_gemma":[0.00002420468,0.00000978661,0.0001060421,0.00001544385,0.00001956035,0.0001670902,0.00004229644,0.003705809,0.001497273,0.9501322,0.04426686,0.00001353676],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01703878,0.004332777,0.6976126,0.00429045,0.001158605,0.0001587719,0.0008984887,0.001859797,0.2726496],"genre_scores_gemma":[0.5867661,0.00297805,0.2126129,0.002107241,0.001561032,0.0002497441,0.00126643,0.000804455,0.1916541],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01109876,"threshold_uncertainty_score":0.0371291,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01127641712373707,"score_gpt":0.2169833759416149,"score_spread":0.2057069588178778,"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."}}