{"id":"W2114078774","doi":"10.1007/978-3-540-78499-9_7","title":"A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa; Dalhousie University","funders":"","keywords":"Linear logic; Monad (category theory); Lambda calculus; Mathematics; Simply typed lambda calculus; Operator (biology); Algebra over a field; Categorical variable; Calculus (dental); Typed lambda calculus; Discrete mathematics; Pure mathematics; Functor","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.001332849,0.0008679839,0.0008206367,0.000663397,0.001902222,0.006292937,0.003269001,0.002172227,0.01199692],"category_scores_gemma":[0.001754975,0.001008934,0.00218052,0.001277376,0.004904686,0.006809746,0.002612824,0.004567861,0.002997415],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002810623,"about_ca_system_score_gemma":0.002095558,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004801324,"about_ca_topic_score_gemma":0.004822046,"domain_scores_codex":[0.9989451,0.0002688218,0.00006672945,0.0002232229,0.0003174556,0.000178706],"domain_scores_gemma":[0.9992537,0.0003050207,0.00005556678,0.0001631676,0.0001372678,0.00008531213],"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.00001282588,0.00001753741,0.00003499702,0.00002687383,0.000003760169,0.00004369549,0.0001340716,0.002131525,0.0004287634,0.994455,0.0007690915,0.001941879],"study_design_scores_gemma":[0.00002069726,0.0000131984,0.000038116,0.00001607722,0.00001256107,0.0000408831,0.00003802272,0.02403262,0.0006063413,0.967091,0.008076386,0.00001414406],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009068119,0.0005665434,0.9489135,0.001936303,0.000205102,0.0000945331,0.0003463856,0.001126659,0.0377429],"genre_scores_gemma":[0.512195,0.0008591425,0.4174268,0.001351083,0.0005352686,0.000550501,0.0008059713,0.0007793206,0.06549687],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01199692,"threshold_uncertainty_score":0.04013371,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0239888836253577,"score_gpt":0.2725882511238021,"score_spread":0.2485993674984444,"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."}}