{"id":"W2099951171","doi":"10.1017/s0960129599003035","title":"Unique decomposition categories, Geometry of Interaction and combinatory logic","year":2000,"lang":"en","type":"article","venue":"Mathematical Structures in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Categorical variable; Decomposition; Computer science; Algebra over a field; Mathematics; Theoretical computer science; Pure 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.001439684,0.0005095386,0.0005050616,0.002388899,0.002000837,0.003965949,0.001146576,0.0008786801,0.005608488],"category_scores_gemma":[0.001580196,0.0003373692,0.0007223533,0.001748883,0.007962146,0.00743589,0.003709108,0.002216094,0.0004484229],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002808841,"about_ca_system_score_gemma":0.0009355047,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002162878,"about_ca_topic_score_gemma":0.001843933,"domain_scores_codex":[0.9987066,0.0004734739,0.00004317573,0.0002076883,0.000357716,0.0002112415],"domain_scores_gemma":[0.9983945,0.0007138368,0.0001774498,0.0002118993,0.0002273567,0.0002749152],"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.000002101718,0.000001322626,0.00007487735,0.000006681342,0.000001590427,0.00001150063,0.00008516428,0.0001434418,0.00005570284,0.9980197,0.0002460879,0.001351828],"study_design_scores_gemma":[0.000001813336,0.000004297493,0.0001864539,0.000006592553,0.000002222377,0.00005569004,0.0001177619,0.0006527456,0.00008761841,0.9926651,0.006214806,0.000004826036],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.137786,0.01092498,0.6006588,0.009344842,0.0003380138,0.00006579371,0.0004578441,0.00050604,0.2399177],"genre_scores_gemma":[0.9365342,0.001809689,0.04764772,0.0005596657,0.0001950805,0.0000829402,0.0002115679,0.00009866145,0.01286059],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005608488,"threshold_uncertainty_score":0.02037966,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01463487879761715,"score_gpt":0.277650234266991,"score_spread":0.2630153554693739,"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."}}