{"id":"W4413966266","doi":"10.70930/tac/c16x3xtf","title":"Category-theoretic models of Linear Abadi & Plotkin Logic","year":2008,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Advanced Algebra and Logic","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Linear logic; Mathematics; Discrete mathematics; Algebra over a field; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002953787,0.0001238395,0.0002230386,0.00008311625,0.0001907753,0.000007490655,0.0005089669,0.00005576838,0.00001324619],"category_scores_gemma":[0.00002539054,0.0001025024,0.00004811368,0.0003303264,0.0007923196,0.0002741971,0.000129844,0.0000845977,0.00001105365],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000005710813,"about_ca_system_score_gemma":0.00004655835,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007172024,"about_ca_topic_score_gemma":0.000001035466,"domain_scores_codex":[0.9991342,0.00007543148,0.000271275,0.0002422904,0.0001234373,0.0001533388],"domain_scores_gemma":[0.9988276,0.0002623133,0.0001569842,0.0005740379,0.0001221888,0.0000568523],"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.00001600684,0.00006061651,0.00002779755,0.00003043842,0.000008971519,4.674512e-7,0.001183293,0.000749446,0.0008303755,0.9943549,0.00001206872,0.002725638],"study_design_scores_gemma":[0.0001236776,0.00004320801,0.00007275979,0.000003878992,0.000009389408,0.00002452766,0.0001203227,0.0006614296,0.008411315,0.9896889,0.0007279026,0.0001127221],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04459966,0.001014434,0.949477,0.00009559964,0.00001792414,0.0001947484,0.000005623759,0.00007910442,0.004515895],"genre_scores_gemma":[0.9832492,0.0003555684,0.01583849,0.00006966858,0.0000285726,0.00007263883,0.000006891357,0.000007543092,0.0003713923],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9386496,"threshold_uncertainty_score":0.4179925,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02317091671588067,"score_gpt":0.256168764844671,"score_spread":0.2329978481287904,"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."}}