{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001321518,0.0002097368,0.0003521039,0.0002609736,0.000233496,0.000288485,0.001789923,0.00007178738,0.00003301333],"category_scores_gemma":[0.00001803749,0.0001746484,0.0001714571,0.002164132,0.0009508932,0.000917448,0.0003182784,0.0001368344,0.00003797246],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000045537,"about_ca_system_score_gemma":0.0003195863,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001050246,"about_ca_topic_score_gemma":0.000005768518,"domain_scores_codex":[0.9968781,0.00006122265,0.0005931105,0.000671943,0.001120375,0.0006752077],"domain_scores_gemma":[0.9983214,0.00004290776,0.0002696112,0.0007483015,0.0004140607,0.000203682],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006117092,0.000221613,0.000690701,0.0000456314,0.00001276815,0.000004659652,0.0006935864,0.0002043959,0.0004062908,0.1241865,0.00003303281,0.8734947],"study_design_scores_gemma":[0.004768399,0.007487235,0.02122036,0.0003259885,0.00009370104,0.00076744,0.0004555147,0.7162758,0.02829306,0.04149063,0.1757622,0.003059761],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04569106,0.0001744178,0.949744,0.0001129485,0.0008598165,0.0005747956,3.062426e-7,0.0002688955,0.002573799],"genre_scores_gemma":[0.9027585,0.00000331954,0.09686108,0.00002736768,0.0001352046,0.00002999939,0.000002015827,0.000008364036,0.0001741287],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8704349,"threshold_uncertainty_score":0.7121955,"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."}}