{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0008745656,0.0003752414,0.0003826031,0.001113482,0.001957077,0.002754409,0.001241141,0.0008024196,0.006584486],"category_scores_gemma":[0.001152399,0.0002132278,0.0006639406,0.0007771467,0.006121757,0.005256896,0.003092019,0.001895839,0.0009567532],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00154209,"about_ca_system_score_gemma":0.0008121062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001577702,"about_ca_topic_score_gemma":0.0008760869,"domain_scores_codex":[0.9989663,0.0002823641,0.00004563736,0.00016383,0.0003773015,0.0001646158],"domain_scores_gemma":[0.9993045,0.0002023259,0.00008198414,0.0001153793,0.0001599258,0.0001358696],"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.000001596225,0.000001423223,0.00002570052,0.000003281294,7.765667e-7,0.00001518529,0.0000579136,0.0001701068,0.00009325834,0.9990478,0.00007986346,0.0005029816],"study_design_scores_gemma":[0.000004220932,0.000008341353,0.00008609769,0.000003619925,0.000002330771,0.00006938772,0.0000844821,0.001706125,0.0003067085,0.9920035,0.005718161,0.00000687527],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1931395,0.001088152,0.5788789,0.003116914,0.0001910434,0.0001148928,0.0003143876,0.0005416524,0.2226146],"genre_scores_gemma":[0.9395308,0.0004345526,0.04204505,0.0003631627,0.0001209806,0.0001228084,0.0001627791,0.00006655081,0.01715341],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006584486,"threshold_uncertainty_score":0.02202731,"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."}}