{"id":"W2963520450","doi":"10.1017/s0960129517000196","title":"On geometry of interaction for polarized linear logic","year":2017,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Precursory Research for Embryonic Science and Technology; Natural Sciences and Engineering Research Council of Canada","keywords":"Linear logic; Bimodule; Mathematical proof; Multiplicative function; Morphism; Pure mathematics; Mathematics; Algebra over a field; Categorical variable; Discrete mathematics; Computer science; Geometry; Mathematical analysis","routes":{"ca_aff":true,"ca_fund":true,"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.00145967,0.0005987027,0.0004923125,0.001924661,0.002057513,0.004513778,0.0011473,0.001092165,0.007617197],"category_scores_gemma":[0.001894735,0.0003991246,0.00128303,0.001194559,0.005327635,0.006790157,0.004872069,0.003184821,0.001114878],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002859583,"about_ca_system_score_gemma":0.0008927542,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002357816,"about_ca_topic_score_gemma":0.001080509,"domain_scores_codex":[0.9980398,0.0005944215,0.00006825747,0.0002892366,0.0006593723,0.0003488943],"domain_scores_gemma":[0.9988136,0.0004573089,0.0001300094,0.0001731395,0.0002324194,0.0001935071],"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.000005730238,0.000004297299,0.0000964377,0.000009655562,0.00000222556,0.00004289383,0.0002496589,0.0003925531,0.0003005319,0.9975399,0.0001731337,0.001182956],"study_design_scores_gemma":[0.00001029321,0.0000318008,0.0002768478,0.0000217859,0.00001028789,0.0001386195,0.0003255045,0.006702418,0.0007935716,0.9774593,0.01420816,0.00002137892],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1286778,0.001853796,0.7008656,0.004504274,0.0002360384,0.0001499903,0.000570869,0.0007856402,0.1623559],"genre_scores_gemma":[0.9193246,0.0007794809,0.06208656,0.0008570839,0.0002303326,0.0002066146,0.0003627051,0.0002278511,0.01592473],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007617197,"threshold_uncertainty_score":0.02548212,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04306107150266057,"score_gpt":0.3306566029812192,"score_spread":0.2875955314785587,"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."}}