{"id":"W2122181022","doi":"10.1016/s0304-3975(02)00038-5","title":"Order-incompleteness and finite lambda reduction models","year":2002,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Ottawa","funders":"","keywords":"Finitary; Mathematics; Lambda calculus; Term (time); Mathematical proof; Calculus (dental); Simply typed lambda calculus; Lambda; Reduction (mathematics); Typed lambda calculus; Algebra over a field; Pure mathematics; Discrete 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009296634,0.0001818277,0.0002084783,0.0001560204,0.0005011366,0.0006857539,0.001394602,0.0000594475,0.00002830571],"category_scores_gemma":[0.00004358995,0.0001428298,0.00003888962,0.001130642,0.001842902,0.001028846,0.0007739337,0.0001549772,0.00008627863],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003402113,"about_ca_system_score_gemma":0.00003089985,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001149179,"about_ca_topic_score_gemma":5.467294e-7,"domain_scores_codex":[0.9977785,0.0001063044,0.0002521807,0.0007701149,0.0005530437,0.0005398578],"domain_scores_gemma":[0.9986516,0.0001219748,0.00006955047,0.0006906402,0.0002117334,0.000254482],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000141964,0.00003498946,0.00001511882,0.000007867699,0.000002347333,0.00000717022,0.0006343343,0.0004112455,0.0000748422,0.929381,0.00003402856,0.06939561],"study_design_scores_gemma":[0.0001183357,0.0001100462,0.00003548503,0.000003733992,0.000002022771,0.0001088662,0.000005389197,0.6389058,0.0001842894,0.360103,0.00027803,0.000145029],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004330997,0.0001177895,0.9858845,0.0007542717,0.0008240647,0.0001693875,2.785587e-7,0.0002693449,0.007649309],"genre_scores_gemma":[0.9366226,0.00001641703,0.0629412,0.0001854497,0.0001676061,0.000008466223,3.17811e-7,0.000006850114,0.00005109922],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9322916,"threshold_uncertainty_score":0.679025,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03184987190362172,"score_gpt":0.236760036849676,"score_spread":0.2049101649460543,"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."}}