{"id":"W1591780081","doi":"10.2178/bsl/1182353933","title":"Solomon Feferman. <i>Computation on abstract data types. The extensional approach, with an application to streams</i>. <b>Annals of pure and applied logic</b>, vol. 81 (1996), pp. 75–113.","year":2002,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Annals; Extensional definition; STREAMS; Computer science; Computation; Mathematics; Discrete mathematics; Arithmetic; Algorithm; Classics; Biology; History; Computer network","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.002298377,0.001694839,0.001464955,0.00492684,0.002395675,0.002738295,0.002439646,0.003220847,0.02430455],"category_scores_gemma":[0.008099577,0.001721071,0.00169456,0.007187187,0.004657106,0.02097151,0.002577429,0.003856067,0.009854401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003159394,"about_ca_system_score_gemma":0.0009795864,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006945055,"about_ca_topic_score_gemma":0.006265332,"domain_scores_codex":[0.9988168,0.0002554689,0.0001333506,0.000281786,0.0004064306,0.0001062487],"domain_scores_gemma":[0.9966189,0.002305748,0.0001531736,0.0004034234,0.0004023933,0.0001164303],"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.0001208722,0.00004641296,0.0003482699,0.0005904072,0.00005700458,0.0002700051,0.0005172263,0.001772585,0.0004527021,0.6198564,0.2411115,0.1348566],"study_design_scores_gemma":[0.00003008933,0.00001404921,0.0002613188,0.0002315287,0.00003208695,0.0001746286,0.00006611682,0.002135173,0.0008786644,0.8622603,0.1338729,0.00004309683],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.005906465,0.3106797,0.4856113,0.05062622,0.007679255,0.0001537585,0.00182696,0.003725156,0.1337912],"genre_scores_gemma":[0.2304156,0.2753427,0.3314021,0.01379855,0.01342059,0.0007181727,0.003158335,0.002824255,0.1289197],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.02430455,"threshold_uncertainty_score":0.08130676,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05652480084469567,"score_gpt":0.2702466826500361,"score_spread":0.2137218818053404,"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."}}