{"id":"W1998844879","doi":"10.1016/s0167-6423(99)00029-5","title":"A calculus of functional BSP programs","year":2000,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":false,"ca_institutions":"Research Canada; Ericsson (Canada)","funders":"","keywords":"Computer science; Confluence; Mathematical proof; Extension (predicate logic); Process calculus; Calculus (dental); Reduction (mathematics); Functional programming; Programming language; Pi calculus; Process (computing); Theoretical computer science; Algorithm; 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.00123506,0.0005920618,0.0004543512,0.001347664,0.001828436,0.003270039,0.001247384,0.0009023255,0.009685311],"category_scores_gemma":[0.002723345,0.0005077077,0.0008761533,0.001451828,0.002266416,0.004122085,0.00197534,0.002158128,0.001825388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001222384,"about_ca_system_score_gemma":0.001006906,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001544242,"about_ca_topic_score_gemma":0.001037356,"domain_scores_codex":[0.9991552,0.0001603668,0.0000448822,0.000126471,0.0003995318,0.0001136579],"domain_scores_gemma":[0.9990309,0.0003304361,0.00006744519,0.0001629714,0.0002650524,0.000143163],"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.00001226889,0.000007215607,0.00004836369,0.00001879736,0.000002457526,0.00004793906,0.00009060084,0.0004386147,0.0008361391,0.9906274,0.001318509,0.006551697],"study_design_scores_gemma":[0.00001769231,0.00001593816,0.0001190409,0.00001904418,0.00001144641,0.0001925179,0.00006002339,0.009799933,0.00139308,0.9564702,0.03188564,0.0000155027],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02315343,0.0005885821,0.9003127,0.001317298,0.0003997931,0.0000813647,0.0004881761,0.001968,0.07169052],"genre_scores_gemma":[0.5989497,0.001224251,0.3358854,0.0008408632,0.0006598469,0.0002628331,0.0006770842,0.0005475127,0.06095245],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009685311,"threshold_uncertainty_score":0.03240061,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02356556207407858,"score_gpt":0.2448996145174379,"score_spread":0.2213340524433593,"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."}}