{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001317944,0.0005428373,0.0004852027,0.001164051,0.001253444,0.003455467,0.002047637,0.001303832,0.005106912],"category_scores_gemma":[0.001801259,0.0005022723,0.001166512,0.00100305,0.00321762,0.007133523,0.002631785,0.002065121,0.0007806427],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003001308,"about_ca_system_score_gemma":0.001251662,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00310927,"about_ca_topic_score_gemma":0.002472322,"domain_scores_codex":[0.9984529,0.0004378582,0.00008006376,0.0002106606,0.0006333767,0.0001851822],"domain_scores_gemma":[0.9989507,0.0004124642,0.000127728,0.0001735321,0.0002029417,0.0001325094],"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.000006805705,0.000006982097,0.00009923633,0.00001221559,0.000003047807,0.0000339807,0.0001696025,0.001488224,0.0003008515,0.9962873,0.00029686,0.001294806],"study_design_scores_gemma":[0.00001150622,0.00001346388,0.00008866068,0.00001434949,0.000006748137,0.0000855294,0.0001279228,0.01969376,0.0005498931,0.9710441,0.008353067,0.00001106834],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1189345,0.001336367,0.8021449,0.003217283,0.0001138244,0.0001294015,0.0009574518,0.0009989315,0.07216719],"genre_scores_gemma":[0.8768323,0.0003947113,0.1082776,0.0004949594,0.0000766792,0.0002236216,0.000608182,0.0001112911,0.01298055],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005106912,"threshold_uncertainty_score":0.02177608,"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."}}