{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004736877,0.0007339679,0.001449475,0.00194015,0.00298287,0.006416266,0.002801156,0.002180193,0.007125064],"category_scores_gemma":[0.01441413,0.001070919,0.002112497,0.001996485,0.009049353,0.01810651,0.003521489,0.00826642,0.0008109764],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004486463,"about_ca_system_score_gemma":0.002658373,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005140852,"about_ca_topic_score_gemma":0.005199582,"domain_scores_codex":[0.9959872,0.001246611,0.0002512381,0.0005952466,0.001348237,0.0005714879],"domain_scores_gemma":[0.9809787,0.01218239,0.001226582,0.00327631,0.001631916,0.0007040681],"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.00001999007,0.000021765,0.0001504443,0.00002357862,0.00000752652,0.00004229231,0.0002411811,0.002330257,0.0001071867,0.9947605,0.0005457003,0.001749576],"study_design_scores_gemma":[0.000005865679,0.000002662788,0.00002751393,0.000005615194,0.000004671133,0.00001748707,0.00003901024,0.00290001,0.0001115673,0.9962023,0.000678958,0.000004380063],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2681632,0.003245105,0.5712685,0.01509818,0.0003056347,0.0001276523,0.001060596,0.001075055,0.139656],"genre_scores_gemma":[0.9298973,0.001186783,0.04319239,0.0007443562,0.0003182294,0.0001411336,0.0008176413,0.0002485856,0.02345354],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007125064,"threshold_uncertainty_score":0.03255165,"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."}}