{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002099121,0.0009367294,0.0005332825,0.001386762,0.001037424,0.002596869,0.001570646,0.001175432,0.006507786],"category_scores_gemma":[0.00435187,0.0005526414,0.001175483,0.002397961,0.003056182,0.009959628,0.002806365,0.002643427,0.001079442],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001031302,"about_ca_system_score_gemma":0.0007070983,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009479549,"about_ca_topic_score_gemma":0.0006196901,"domain_scores_codex":[0.9987308,0.0002610541,0.0001241206,0.0003009105,0.000372274,0.0002106753],"domain_scores_gemma":[0.9976877,0.0009970741,0.0003562533,0.0004048175,0.0004275281,0.0001266484],"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.00003071196,0.00002037104,0.0005639803,0.00008068153,0.000005838985,0.00007159566,0.0003565496,0.002854871,0.002900523,0.9826105,0.0008082636,0.00969612],"study_design_scores_gemma":[0.000008779131,0.00005121352,0.0004772246,0.00007518925,0.00001426604,0.0002011933,0.0001503343,0.01819185,0.003153796,0.9600084,0.01763821,0.00002952856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0413725,0.0008577952,0.9358209,0.0005737519,0.0001161532,0.00007344319,0.0005205466,0.0003562276,0.02030865],"genre_scores_gemma":[0.6265512,0.002025137,0.3535927,0.0007653522,0.0005287355,0.0006284598,0.001350904,0.0004145579,0.01414299],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006507786,"threshold_uncertainty_score":0.02177072,"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."}}