{"id":"W2123018358","doi":"10.1017/s096012951000006x","title":"Towards a typed Geometry of Interaction","year":2010,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Linear logic; Multiplicative function; Soundness; Orthogonality; Categorical variable; Interpretation (philosophy); TRACE (psycholinguistics); Algebra over a field; Mathematics; Exponential function; Invariant (physics); Computer science; Pure mathematics; Calculus (dental); Discrete mathematics; Geometry; Programming language; Mathematical analysis","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.00266558,0.0006323545,0.0005783502,0.002080463,0.001613411,0.00560931,0.002202965,0.00158865,0.004270094],"category_scores_gemma":[0.003652093,0.0007187928,0.001193303,0.001657099,0.008886327,0.01170257,0.005341758,0.004670315,0.0007239332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003697108,"about_ca_system_score_gemma":0.001285728,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003178623,"about_ca_topic_score_gemma":0.00151835,"domain_scores_codex":[0.9973595,0.0009179359,0.0001157949,0.0005260265,0.0007561328,0.0003246081],"domain_scores_gemma":[0.9980887,0.0006864077,0.0001818241,0.0004240292,0.0003934587,0.0002255615],"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.000002823613,0.000001753293,0.00006209325,0.000004833072,0.000001258605,0.00001574694,0.0001708262,0.0004715559,0.000120686,0.9980452,0.0001222301,0.0009809081],"study_design_scores_gemma":[0.000007851977,0.00001452281,0.00009452014,0.00001196819,0.000005328262,0.00005747997,0.0001848501,0.008172145,0.0006072059,0.9755255,0.01530703,0.00001165799],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06151521,0.001044542,0.8788987,0.004724957,0.0002540394,0.00006351216,0.0002533441,0.0008041575,0.05244157],"genre_scores_gemma":[0.7703987,0.0007248515,0.2108682,0.00092805,0.0002712006,0.0001525245,0.000201507,0.0003531283,0.01610182],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00560931,"threshold_uncertainty_score":0.02682453,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02001838402881809,"score_gpt":0.2905032228297754,"score_spread":0.2704848388009573,"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."}}