{"id":"W2064666203","doi":"10.1016/j.tcs.2013.09.034","title":"Safe recursion revisited I: Categorical semantics for lower complexity","year":2013,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary; Western University","funders":"","keywords":"Soundness; Mathematics; Bounded function; Categorical variable; Recursion (computer science); Polynomial; Semantics (computer science); Set (abstract data type); Discrete mathematics; Computer science; Algorithm; Programming language; Statistics","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.004571881,0.0006883643,0.001347992,0.00222413,0.002691869,0.00808667,0.003728727,0.003376513,0.01232545],"category_scores_gemma":[0.01440965,0.000666263,0.002892791,0.002769877,0.01120006,0.02346239,0.006266965,0.01306933,0.001428376],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.005731456,"about_ca_system_score_gemma":0.002235133,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002119655,"about_ca_topic_score_gemma":0.001836716,"domain_scores_codex":[0.9945738,0.001562308,0.0003475199,0.001021291,0.001804745,0.0006904256],"domain_scores_gemma":[0.9882501,0.006645448,0.0005225774,0.002473179,0.00139395,0.000714701],"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.000006790296,0.000005024625,0.00004794556,0.00001329866,0.000002005593,0.000007189513,0.0001073412,0.0001776819,0.0001202777,0.9977451,0.0004464692,0.001320935],"study_design_scores_gemma":[0.000005594674,0.00000479827,0.00004163344,0.000007941684,0.000004431753,0.00001522208,0.00004030806,0.001348104,0.0001929649,0.9960123,0.002320063,0.000006620886],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0495478,0.003144891,0.8480095,0.01706012,0.0009798668,0.00007593015,0.0005625357,0.001088076,0.07953131],"genre_scores_gemma":[0.8350912,0.001386528,0.1341498,0.003887916,0.001629943,0.0003024325,0.0004805988,0.0008258671,0.02224581],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01232545,"threshold_uncertainty_score":0.04158479,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02868647565985513,"score_gpt":0.269885498180035,"score_spread":0.2411990225201799,"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."}}