{"id":"W2969568901","doi":"10.23638/lmcs-17(2:9)2021","title":"LNL-FPC: The Linear/Non-linear Fixpoint Calculus","year":2021,"lang":"en","type":"preprint","venue":"Logical Methods in Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Future Earth","funders":"Air Force Office of Scientific Research; Multidisciplinary University Research Initiative; Agence Nationale de la Recherche","keywords":"Recursion (computer science); Linear programming; Linear logic; Categorical variable; Type theory; Type (biology); Computer science; Mathematics; Algorithm; Theoretical computer science; Algebra over a field; Pure mathematics","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.00329328,0.0006257712,0.000835581,0.001605919,0.001716928,0.003919862,0.002842759,0.001706168,0.007624533],"category_scores_gemma":[0.003670629,0.0008232103,0.001718316,0.001325072,0.004631439,0.005839629,0.004395409,0.004157,0.002493769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003112352,"about_ca_system_score_gemma":0.003280389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003976685,"about_ca_topic_score_gemma":0.002719657,"domain_scores_codex":[0.9972172,0.000530209,0.0001751917,0.0005650147,0.001083854,0.0004285158],"domain_scores_gemma":[0.9983786,0.0004141164,0.0001205116,0.0005539403,0.0004006732,0.0001319812],"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.00002068604,0.00001612907,0.0002313288,0.00006715205,0.00001211413,0.0001035397,0.0002225588,0.002031423,0.001733629,0.9788775,0.001998666,0.01468537],"study_design_scores_gemma":[0.00005120537,0.0000459759,0.0003152923,0.00008842342,0.00005978311,0.0004716014,0.0001028212,0.04118188,0.007950344,0.8205525,0.1290957,0.00008437985],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008292149,0.0004254326,0.9750373,0.0006688611,0.0002489602,0.00009466404,0.0004717398,0.002841567,0.01191926],"genre_scores_gemma":[0.2709385,0.0006318939,0.7036126,0.001321146,0.0003454151,0.0005003051,0.0009682808,0.001306054,0.02037587],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007624533,"threshold_uncertainty_score":0.02550662,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1071441326577812,"score_gpt":0.3993179498776132,"score_spread":0.2921738172198319,"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."}}