{"id":"W1979524717","doi":"10.1016/j.tcs.2003.10.019","title":"Realizability models for BLL-like languages","year":2003,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Realizability; Programming language; Syntax; Linear logic; Computer science; Algebra over a field; Bounded function; Theoretical computer science; Discrete mathematics; Calculus (dental); Mathematics; Pure mathematics; Artificial intelligence","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.002018407,0.0008084283,0.0006544763,0.001517697,0.002170428,0.007137492,0.002580697,0.002156019,0.01481584],"category_scores_gemma":[0.005542161,0.001111379,0.00213635,0.001557122,0.003300518,0.01257955,0.002825324,0.004683352,0.001984122],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003822074,"about_ca_system_score_gemma":0.001312958,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00317458,"about_ca_topic_score_gemma":0.004545259,"domain_scores_codex":[0.9982097,0.0005040368,0.0001862853,0.000317185,0.0004480633,0.0003347982],"domain_scores_gemma":[0.9954844,0.002281651,0.0005897342,0.0006995451,0.0005836925,0.0003610468],"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.00003196011,0.00003188237,0.0002095355,0.00003987839,0.000006178527,0.00006707351,0.0002964108,0.002169757,0.0005369514,0.9929402,0.0008616999,0.002808395],"study_design_scores_gemma":[0.00002039555,0.000007167613,0.00005617306,0.00001442183,0.000008796679,0.00003806097,0.0001046297,0.01076234,0.0004879279,0.9858343,0.002653917,0.00001191366],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07719446,0.0006090835,0.8468116,0.003707201,0.000187799,0.000170708,0.001800103,0.002692409,0.0668266],"genre_scores_gemma":[0.8572105,0.0004797162,0.118666,0.0006872925,0.0002423017,0.0002853874,0.002400046,0.0005901054,0.01943865],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01481584,"threshold_uncertainty_score":0.04956388,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02178323658350501,"score_gpt":0.2772463831187192,"score_spread":0.2554631465352142,"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."}}