{"id":"W2096885339","doi":"10.1017/s0960129502003730","title":"Geometry of Interaction and linear combinatory algebras","year":2002,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Homotopy and Cohomology in Algebraic Topology","field":"Mathematics","cited_by":155,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Axiom; Algebra over a field; Mathematics; Linear logic; Pure mathematics; Geometry; Discrete 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004954051,0.0001306149,0.0003012913,0.0002462218,0.00008116043,0.00002132732,0.000404222,0.00008428887,0.0004266299],"category_scores_gemma":[0.0003727121,0.0001061676,0.00003471172,0.0004022455,0.00126488,0.0001485966,0.00027538,0.0002271024,0.00001000767],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003213071,"about_ca_system_score_gemma":0.00001295173,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002673657,"about_ca_topic_score_gemma":0.000001548586,"domain_scores_codex":[0.9987046,0.00006420451,0.000389933,0.0003035504,0.0002683276,0.0002693631],"domain_scores_gemma":[0.9987896,0.000641885,0.0001161261,0.0003247764,0.00004795165,0.0000796273],"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.000004338281,0.000137587,0.001334346,0.0001143693,0.000007306033,0.00001720122,0.001086479,0.00001000175,0.0001947339,0.9691288,0.00008838977,0.02787647],"study_design_scores_gemma":[0.0002642855,0.00007997031,0.00243321,0.00004042136,0.000006573202,0.0002142432,0.00003647965,0.04566571,0.001789706,0.9493285,0.00002503585,0.000115874],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9143887,0.00006124549,0.08400822,0.000177847,0.0003029486,0.0001305823,8.81714e-7,0.00003514437,0.0008944359],"genre_scores_gemma":[0.9342698,0.000004571628,0.06554847,0.0001120084,0.00003431797,0.000004021428,1.253286e-7,0.000006661042,0.0000199668],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.04565571,"threshold_uncertainty_score":0.4671298,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03332210247724639,"score_gpt":0.3107493739238779,"score_spread":0.2774272714466315,"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."}}