{"id":"W202241028","doi":"10.1016/s1571-0661(05)80574-2","title":"Preface","year":2003,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Category theory; Rewriting; Computer science; Field (mathematics); Domain theory; Type theory; Semantics (computer science); Programming language; Functional programming; Constructive; Model theory; Mathematics; Type (biology); Discrete mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001257793,0.00114145,0.0010777,0.003037335,0.002503975,0.006376772,0.001865962,0.001574222,0.601695],"category_scores_gemma":[0.008728771,0.0004157475,0.0008283459,0.002869549,0.000785952,0.004789052,0.003080164,0.002816038,0.43788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002107041,"about_ca_system_score_gemma":0.002273981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002416248,"about_ca_topic_score_gemma":0.003108175,"domain_scores_codex":[0.9985777,0.0001597626,0.0000962513,0.0002803503,0.0007570719,0.0001287573],"domain_scores_gemma":[0.9958488,0.0006071692,0.0001572166,0.0004870216,0.00214312,0.0007567311],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00002483752,0.0000167109,0.00009024353,0.0001030467,0.000002271389,0.00002505623,0.00006716525,0.00004342863,0.0001102147,0.003610703,0.95283,0.04307642],"study_design_scores_gemma":[0.000002394038,0.000009476023,0.0001435947,0.00006813549,0.00000124849,0.0000393112,0.00004910358,0.00002102157,0.00004666415,0.001332551,0.9982829,0.000003532606],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"editorial","genre_scores_codex":[0.001124438,0.01189462,0.005988047,0.02431703,0.1172396,0.0004335559,0.01336654,0.002835232,0.8228009],"genre_scores_gemma":[0.004062971,0.005584474,0.002393467,0.005059908,0.01573555,0.0001926009,0.01252437,0.001351376,0.9530954],"genre_candidate":"editorial","genre_consensus":null,"teacher_disagreement_score":0.601695,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009012709285752936,"score_gpt":0.2456677624000718,"score_spread":0.2366550531143189,"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."}}