{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008006641,0.0008658632,0.0008852596,0.0005769164,0.0006151194,0.0003428278,0.003651717,0.0006059706,0.000009211171],"category_scores_gemma":[0.000188445,0.0007821074,0.0003761477,0.000518017,0.0008945516,0.0006104382,0.001068711,0.001012416,0.00007017376],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004342387,"about_ca_system_score_gemma":0.001854261,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004368496,"about_ca_topic_score_gemma":0.00005826435,"domain_scores_codex":[0.9944458,0.00002661495,0.0008558014,0.002241593,0.001305468,0.00112475],"domain_scores_gemma":[0.9963825,0.0008662218,0.0004588606,0.001191238,0.000709562,0.000391628],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002211999,0.0001315237,0.000006805804,0.00007194293,0.00003118702,0.00008511911,0.001580289,0.8955169,0.00005343475,0.01791392,0.001483344,0.08310343],"study_design_scores_gemma":[0.0007386437,0.0002012295,0.00003455797,0.0001680895,0.00001260967,0.0001247297,1.06907e-7,0.9387012,0.0002397507,0.05693866,0.001974201,0.00086623],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00007415333,0.0005579459,0.9933901,0.0005602714,0.001210022,0.0008712569,0.00005461437,0.0002518539,0.003029717],"genre_scores_gemma":[0.1468917,0.00008245464,0.8469443,0.00227333,0.0009391778,0.00005903815,0.00007805628,0.00008995854,0.002641932],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1468176,"threshold_uncertainty_score":0.999463,"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."}}