{"id":"W2949680097","doi":"10.48550/arxiv.0801.0813","title":"A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)","year":2008,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"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; Discrete mathematics; Calculus (dental); Typed lambda calculus; 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.000314014,0.0004659217,0.000541591,0.0001999552,0.0003192008,0.000114063,0.00172198,0.0004890269,0.000004445037],"category_scores_gemma":[0.0000414352,0.0005037006,0.0004344163,0.0003457707,0.0001572081,0.0003045752,0.0009522088,0.0005736224,0.00008678594],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002562023,"about_ca_system_score_gemma":0.0006717453,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004804432,"about_ca_topic_score_gemma":0.00003924643,"domain_scores_codex":[0.9973148,0.00006777008,0.0004032867,0.001404824,0.000225231,0.0005841345],"domain_scores_gemma":[0.9978095,0.0001636138,0.0004116016,0.0009151017,0.0004144193,0.0002857655],"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.0000343283,0.0001924407,0.00006464555,0.0001118069,0.0001093321,0.0001433408,0.000369228,0.8506703,0.00000768474,0.1456103,0.002337649,0.0003488744],"study_design_scores_gemma":[0.0009318799,0.00007518101,0.00007098008,0.00001742195,0.00004393119,0.00001670254,0.00001597101,0.9466128,0.00002853195,0.0502787,0.001376191,0.0005317305],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01110564,0.00006438248,0.9854828,0.00009691604,0.0005652208,0.0008725996,0.00005254073,0.0003279103,0.001431995],"genre_scores_gemma":[0.9777476,0.00006197983,0.01737218,0.000152877,0.0001794363,0.00001026075,0.0001626578,0.00003565409,0.004277351],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9681106,"threshold_uncertainty_score":0.9997414,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07785249899842647,"score_gpt":0.2275511986644267,"score_spread":0.1496986996660002,"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."}}