{"id":"W4413966238","doi":"10.70930/tac/e17sf9pc","title":"Adjunction Models For Call-By-Push-Value With Stacks","year":2005,"lang":"en","type":"article","venue":"Theory and applications of categories","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Adjunction; Computer science; Value (mathematics); Mathematics; Pure mathematics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003439653,0.0008325914,0.0007233449,0.002163877,0.00266937,0.00709184,0.002228016,0.002675696,0.0100672],"category_scores_gemma":[0.004740599,0.0006268725,0.002373301,0.001827317,0.006942362,0.0132823,0.006283703,0.004667034,0.001643216],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003423309,"about_ca_system_score_gemma":0.002258344,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002719203,"about_ca_topic_score_gemma":0.002706152,"domain_scores_codex":[0.9970955,0.0009255668,0.0002006691,0.0003765513,0.001018772,0.0003829678],"domain_scores_gemma":[0.9973181,0.001040709,0.0001930457,0.0006371975,0.0005056183,0.0003052473],"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.000003872316,0.000005648734,0.00004197305,0.000006291949,0.000001621965,0.0000344762,0.000171149,0.0004008223,0.00009723751,0.9983751,0.0001950701,0.000666776],"study_design_scores_gemma":[0.000008257846,0.00001255083,0.0000600823,0.00001785034,0.000007924616,0.0000592521,0.0001294646,0.008198865,0.000424885,0.9817981,0.009269241,0.0000135051],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03716275,0.0005884657,0.8823557,0.00259803,0.0004100621,0.0001138295,0.0003317521,0.001341269,0.0750981],"genre_scores_gemma":[0.7958116,0.000525646,0.1737056,0.0008218699,0.0003829901,0.0004362419,0.0004918473,0.0006033934,0.02722077],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.0100672,"threshold_uncertainty_score":0.03367811,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01110738260314502,"score_gpt":0.2391849529008737,"score_spread":0.2280775702977287,"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."}}