{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002473162,0.0005964314,0.0007121924,0.001581163,0.002577234,0.005190035,0.002834354,0.00199299,0.009382817],"category_scores_gemma":[0.002235263,0.0005545372,0.00218189,0.001638301,0.006909663,0.005539566,0.004879456,0.004638661,0.001924701],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00345419,"about_ca_system_score_gemma":0.001868235,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003701452,"about_ca_topic_score_gemma":0.002707558,"domain_scores_codex":[0.9973438,0.0008999896,0.0001509661,0.0003870768,0.000757425,0.0004606189],"domain_scores_gemma":[0.9985949,0.0004499738,0.0001130536,0.0002657442,0.00034595,0.0002302776],"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.000005712217,0.00001077934,0.00004862947,0.00001656841,0.000002452631,0.00003945043,0.0001640847,0.0004218506,0.0003240751,0.997405,0.0004713924,0.001089885],"study_design_scores_gemma":[0.00002198483,0.00002451341,0.0001014592,0.00001590426,0.00001154005,0.0001035687,0.0001091287,0.007725885,0.0007660609,0.9714272,0.01966567,0.00002705839],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01235654,0.0005834781,0.956786,0.003502602,0.0003124645,0.00009965787,0.0004061679,0.000881474,0.02507156],"genre_scores_gemma":[0.5930133,0.0006786608,0.3767409,0.002832489,0.0005406936,0.0006862041,0.0004407314,0.0004256193,0.02464134],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009382817,"threshold_uncertainty_score":0.03138864,"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."}}