{"id":"W1980256844","doi":"10.1017/s0956796800003841","title":"On characterizations of the basic feasible functionals, Part I","year":2001,"lang":"en","type":"article","venue":"Journal of Functional Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":39,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"National Science Foundation","keywords":"Computer science; Characterization (materials science); Formalism (music); Type (biology); Functional programming; Theoretical computer science; Algebra over a field; Mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007017738,0.0001301437,0.0002063064,0.0001597376,0.0002435653,0.0001234471,0.0004949746,0.00006392859,0.00008093788],"category_scores_gemma":[0.0001821554,0.00008285057,0.0002624182,0.0006855635,0.00006314664,0.0004511629,0.00007618977,0.0002505065,0.00002329311],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006309956,"about_ca_system_score_gemma":0.0001969329,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005698561,"about_ca_topic_score_gemma":0.00000325023,"domain_scores_codex":[0.9981971,0.0001030759,0.000560256,0.0001712369,0.0007473031,0.0002210753],"domain_scores_gemma":[0.9982448,0.0001513081,0.0007235772,0.0002971012,0.0004912158,0.000092045],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001732783,0.001157471,0.03544965,0.00005683985,0.0002909357,0.00003601599,0.0003178918,0.002154879,0.001536101,0.7669567,0.008139619,0.1837306],"study_design_scores_gemma":[0.001509617,0.00121231,0.08026254,0.0001061014,0.00007753122,0.001406897,0.0001459013,0.001346303,0.000720504,0.03352352,0.879327,0.0003617719],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04938006,0.0004689697,0.9326897,0.00369544,0.009084927,0.0004499991,0.000001728167,0.00008667589,0.004142534],"genre_scores_gemma":[0.9965468,0.00001848359,0.001132628,0.0002513326,0.000717142,0.00001040563,0.000002557849,0.000009578992,0.001311042],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9471667,"threshold_uncertainty_score":0.3378548,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04068088561351309,"score_gpt":0.2431295643264491,"score_spread":0.202448678712936,"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."}}