{"id":"W2010337608","doi":"10.1145/2535838.2535881","title":"Fair reactive programming","year":2014,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":38,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Liveness; Mathematical proof; Computer science; Linear logic; Calculus (dental); Type theory; Constructive; Proof calculus; Fixed point; Operational semantics; Modal logic; Mathematics; Theoretical computer science; Semantics (computer science); Programming language; Algebra over a field; Modal; Type (biology); 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.004911627,0.0006717229,0.0004521951,0.0008905924,0.00186629,0.003604531,0.002209713,0.001131348,0.006517545],"category_scores_gemma":[0.01039708,0.0004808091,0.001135138,0.0007299836,0.005740517,0.004999651,0.002708326,0.001999035,0.0008845056],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0024234,"about_ca_system_score_gemma":0.002860803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003171847,"about_ca_topic_score_gemma":0.003680586,"domain_scores_codex":[0.9966848,0.001121475,0.0001678229,0.0007546077,0.0008722108,0.000399114],"domain_scores_gemma":[0.994967,0.002459683,0.0003722356,0.001229771,0.0007137574,0.000257458],"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.00001343038,0.00001023595,0.0001115739,0.00002425961,0.000006308118,0.00004004538,0.0001595461,0.005522012,0.0005281366,0.9838994,0.0006333527,0.009051751],"study_design_scores_gemma":[0.00001986517,0.00002262537,0.00005551233,0.00002508535,0.00002215439,0.00007110056,0.00006086798,0.04515122,0.002192142,0.9308528,0.02151256,0.00001410177],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00672374,0.0001942925,0.9696945,0.0007839628,0.0001414977,0.00008277616,0.00007116797,0.0008699992,0.02143802],"genre_scores_gemma":[0.4640046,0.0005362786,0.5017365,0.000723166,0.0003237899,0.0003469145,0.0001870883,0.000417308,0.03172433],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006517545,"threshold_uncertainty_score":0.02597553,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01872139694015225,"score_gpt":0.2429324238567359,"score_spread":0.2242110269165837,"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."}}